Anne is furry. Anne is green. Anne is nice. Anne is rough. Anne is round. Dave is green. Gary is furry. Gary is green. Gary is round. Harry is rough. If Dave is green then Dave is blue. All rough people are green. If someone is round then they are nice. If Anne is round then Anne is nice. If Dave is rough then Dave is round. If Anne is furry and Anne is round then Anne is green. Green people are nice. If someone is blue and nice then they are furry.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If Dave is green then Dave is blue.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "blue" "+"))
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round then they are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If Anne is round then Anne is nice.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "nice" "+"))
If Dave is rough then Dave is round.
((("Dave" "is" "rough" "+")) -> ("Dave" "is" "round" "+"))
If Anne is furry and Anne is round then Anne is green.
((("Anne" "is" "furry" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "green" "+"))
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and nice then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Gary is not green.
False
1
inv-proof
[(triple8)]
("Gary" "is" "green" "-")
triple8
Gary is nice.
True
2
proof
[(((triple8) -> rule7) OR ((triple9) -> rule3))]
("Gary" "is" "nice" "+")
((triple8) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple9) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple6) -> rule7))]
("Dave" "is" "nice" "-")
((triple6) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
True
5
proof
[(((((triple6) -> rule1) ((triple6) -> rule7)) -> rule8))]
("Dave" "is" "furry" "+")
((((triple6) -> (rule1 % int3)) ((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not furry.
False
5
inv-proof
[(((((triple6) -> rule1) ((triple6) -> rule7)) -> rule8))]
("Dave" "is" "furry" "-")
((((triple6) -> (rule1 % int3)) ((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2 OR ((triple4) -> rule2) OR ((triple1 triple5) -> rule6))] Anne is nice.[(triple3 OR ((triple2) -> rule7) OR ((triple5) -> rule3) OR ((triple5) -> rule4) OR ((((triple4) -> rule2)) -> rule7) OR ((((triple1 triple5) -> rule6)) -> rule7))] Anne is rough.[(triple4)] Anne is round.[(triple5)] Dave is green.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8)] Gary is round.[(triple9)] Harry is rough.[(triple10)] @1: Dave is blue.[(((triple6) -> rule1))] Dave is nice.[(((triple6) -> rule7))] Gary is nice.[(((triple8) -> rule7) OR ((triple9) -> rule3))] Harry is green.[(((triple10) -> rule2))] @2: Dave is furry.[(((((triple6) -> rule1) ((triple6) -> rule7)) -> rule8))] Harry is nice.[(((((triple10) -> rule2)) -> rule7))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple4) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple1 triple5) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple2) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple5) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple5) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple1 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple6) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple8) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple9) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple10) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple6) -> (rule1 % int3)) ((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((((triple10) -> (rule2 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2