Charlie is blue. Charlie is furry. Charlie is young. Erin is not big. Erin is not blue. Erin is furry. Erin is red. Erin is smart. Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is smart. Gary is white. Gary is young. All big, young things are white. If something is young and white then it is furry. All big, white things are furry. If something is young then it is blue. If Erin is white then Erin is big. All red things are smart. If something is white and smart then it is red. If Erin is red and Erin is white then Erin is young.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All big, young things are white.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If something is young and white then it is furry.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
All big, white things are furry.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If something is young then it is blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If Erin is white then Erin is big.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "big" "+"))
All red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
If something is white and smart then it is red.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
If Erin is red and Erin is white then Erin is young.
((("Erin" "is" "red" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "young" "+"))
Erin is red.
True
1
proof
[(triple7)]
("Erin" "is" "red" "+")
triple7
Gary is not big.
False
1
inv-proof
[(triple9)]
("Gary" "is" "big" "-")
triple9
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule4))] Charlie is furry.[(triple2)] Charlie is young.[(triple3)] Erin is furry.[(triple6)] Erin is not big.[(triple4)] Erin is not blue.[(triple5)] Erin is red.[(triple7)] Erin is smart.[(triple8 OR ((triple7) -> rule6))] Gary is big.[(triple9)] Gary is blue.[(triple10 OR ((triple15) -> rule4))] Gary is furry.[(triple11 OR ((triple15 triple14) -> rule2) OR ((triple9 triple14) -> rule3) OR ((triple15 ((triple9 triple15) -> rule1)) -> rule2) OR ((triple9 ((triple9 triple15) -> rule1)) -> rule3))] Gary is red.[(triple12 OR ((triple14 triple13) -> rule7) OR ((((triple9 triple15) -> rule1) triple13) -> rule7))] Gary is smart.[(triple13 OR ((triple12) -> rule6))] Gary is white.[(triple14 OR ((triple9 triple15) -> rule1))] Gary is young.[(triple15)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple3) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is not big.
("Erin" "is" "big" "-")
triple4
Erin is not blue.
("Erin" "is" "blue" "-")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
((triple7) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
((triple15) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple11
((triple15 triple14) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple9 triple14) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple15 ((triple9 triple15) -> (rule1 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((triple9 ((triple9 triple15) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple12
((triple14 triple13) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple9 triple15) -> (rule1 % int2)) triple13) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple13
((triple12) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple14
((triple9 triple15) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple15