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