Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is smart. Anne is white. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is round. Fiona is white. If Anne is furry then Anne is green. All furry people are blue. All round, white people are green. If Fiona is green then Fiona is nice. Blue, green people are furry. All blue, smart people are furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Anne is furry then Anne is green.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "green" "+"))
All furry people are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
All round, white people are green.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Fiona is green then Fiona is nice.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "nice" "+"))
Blue, green people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
All blue, smart people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Anne is blue.
True
1
proof
[(triple1 OR ((triple2) -> rule2))]
("Anne" "is" "blue" "+")
triple1
((triple2) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not nice.
False
1
inv-proof
[(triple4)]
("Anne" "is" "nice" "-")
triple4
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is blue.[(triple1 OR ((triple2) -> rule2))] Anne is furry.[(triple2 OR ((triple1 triple3) -> rule5) OR ((triple1 triple5) -> rule6))] Anne is green.[(triple3 OR ((triple2) -> rule1) OR ((((triple1 triple5) -> rule6)) -> rule1))] Anne is nice.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Fiona is blue.[(triple7 OR ((triple8) -> rule2))] Fiona is furry.[(triple8 OR ((triple7 triple9) -> rule5) OR ((triple7 ((triple11 triple12) -> rule3)) -> rule5))] Fiona is green.[(triple9 OR ((triple11 triple12) -> rule3))] Fiona is nice.[(triple10 OR ((triple9) -> rule4) OR ((((triple11 triple12) -> rule3)) -> rule4))] Fiona is round.[(triple11)] Fiona is white.[(triple12)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple2) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple1 triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple1 triple5) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple1 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
((triple8) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
((triple7 triple9) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple7 ((triple11 triple12) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple9
((triple11 triple12) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
((triple9) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple11 triple12) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12