Dave is furry. Fiona is big. Fiona is green. Fiona is quiet. Fiona is red. Gary is big. Gary is furry. Gary is red. Harry is not furry. Harry is rough. Green, cold things are furry. If Fiona is red then Fiona is furry. All big things are green. Quiet things are green. If something is furry then it is cold. If Dave is quiet and Dave is not big then Dave is green. If Harry is quiet then Harry is cold. All quiet, cold things are rough.
Dave is furry.
("Dave" "is" "furry" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Green, cold things are furry.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If Fiona is red then Fiona is furry.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "furry" "+"))
All big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Quiet things are green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If something is furry then it is cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If Dave is quiet and Dave is not big then Dave is green.
((("Dave" "is" "quiet" "+") ("Dave" "is" "big" "~")) -> ("Dave" "is" "green" "+"))
If Harry is quiet then Harry is cold.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "cold" "+"))
All quiet, cold things are rough.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Gary is furry.
True
1
proof
[(triple7)]
("Gary" "is" "furry" "+")
triple7
Fiona is not quiet.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "quiet" "-")
triple4
Gary is green.
True
2
proof
[(((triple6) -> rule3))]
("Gary" "is" "green" "+")
((triple6) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple5) -> rule2))]
("Fiona" "is" "furry" "-")
((triple5) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
True
3
proof
[(((((triple5) -> rule2)) -> rule5))]
("Fiona" "is" "cold" "+")
((((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not cold.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule5))]
("Fiona" "is" "cold" "-")
((((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
True
5
proof
[(((triple4 ((((triple5) -> rule2)) -> rule5)) -> rule8))]
("Fiona" "is" "rough" "+")
((triple4 ((((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is not rough.
False
5
inv-proof
[(((triple4 ((((triple5) -> rule2)) -> rule5)) -> rule8))]
("Fiona" "is" "rough" "-")
((triple4 ((((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Dave" "is" "rough" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is furry.[(triple1)] Fiona is big.[(triple2)] Fiona is green.[(triple3 OR ((triple2) -> rule3) OR ((triple4) -> rule4))] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is red.[(triple8)] Harry is not furry.[(triple9)] Harry is rough.[(triple10)] @1: Dave is cold.[(((triple1) -> rule5))] Fiona is furry.[(((triple5) -> rule2))] Gary is cold.[(((triple7) -> rule5))] Gary is green.[(((triple6) -> rule3))] @2: Fiona is cold.[(((((triple5) -> rule2)) -> rule5))] @3: Fiona is rough.[(((triple4 ((((triple5) -> rule2)) -> rule5)) -> rule8))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
((triple2) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple4) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Harry is not furry.
("Harry" "is" "furry" "-")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
((triple1) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple7) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple6) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4 ((((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3