Charlie is big. Charlie is furry. Charlie is round. Charlie is smart. Dave is not blue. Dave is furry. Dave is red. Dave is young. Fiona is not big. Fiona is blue. Fiona is furry. Fiona is red. Fiona is round. Fiona is not smart. Fiona is young. If someone is smart then they are young. If Charlie is big and Charlie is smart then Charlie is round. If Fiona is big and Fiona is blue then Fiona is young. If Charlie is round and Charlie is not young then Charlie is red. Red, smart people are blue. If someone is big then they are blue.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is smart then they are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If Charlie is big and Charlie is smart then Charlie is round.
((("Charlie" "is" "big" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "round" "+"))
If Fiona is big and Fiona is blue then Fiona is young.
((("Fiona" "is" "big" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "young" "+"))
If Charlie is round and Charlie is not young then Charlie is red.
((("Charlie" "is" "round" "+") ("Charlie" "is" "young" "~")) -> ("Charlie" "is" "red" "+"))
Red, smart people are blue.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Dave is furry.
True
1
proof
[(triple6)]
("Dave" "is" "furry" "+")
triple6
Charlie is not furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "-")
triple2
Charlie is blue.
True
2
proof
[(((triple1) -> rule6))]
("Charlie" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple4) -> rule1))]
("Charlie" "is" "young" "-")
((triple4) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "red" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is round.[(triple3 OR ((triple1 triple4) -> rule2))] Charlie is smart.[(triple4)] Dave is furry.[(triple6)] Dave is not blue.[(triple5)] Dave is red.[(triple7)] Dave is young.[(triple8)] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is not big.[(triple9)] Fiona is not smart.[(triple14)] Fiona is red.[(triple12)] Fiona is round.[(triple13)] Fiona is young.[(triple15)] @1: Charlie is blue.[(((triple1) -> rule6))] Charlie is young.[(((triple4) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
((triple1 triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is not blue.
("Dave" "is" "blue" "-")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is not big.
("Fiona" "is" "big" "-")
triple9
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple4) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1