Bob is not cold. Bob is green. Charlie is cold. Charlie is rough. Charlie is round. Erin is furry. Erin is round. Gary is furry. Gary is green. Gary is young. If Charlie is not rough then Charlie is not smart. If something is cold and smart then it is not green. All round, smart things are not young. If Erin is young then Erin is smart. If Charlie is furry and Charlie is rough then Charlie is young. Round, cold things are smart. If Bob is not young and Bob is not round then Bob is rough. If Bob is not young and Bob is not rough then Bob is not green.
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is green.
("Bob" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
If Charlie is not rough then Charlie is not smart.
((("Charlie" "is" "rough" "~")) -> ("Charlie" "is" "smart" "-"))
If something is cold and smart then it is not green.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "-"))
All round, smart things are not young.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "-"))
If Erin is young then Erin is smart.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "smart" "+"))
If Charlie is furry and Charlie is rough then Charlie is young.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "young" "+"))
Round, cold things are smart.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
If Bob is not young and Bob is not round then Bob is rough.
((("Bob" "is" "young" "~") ("Bob" "is" "round" "~")) -> ("Bob" "is" "rough" "+"))
If Bob is not young and Bob is not rough then Bob is not green.
((("Bob" "is" "young" "~") ("Bob" "is" "rough" "~")) -> ("Bob" "is" "green" "-"))
Gary is young.
True
1
proof
[(triple10)]
("Gary" "is" "young" "+")
triple10
Bob is cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "rough" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Bob is green.[(triple2)] Bob is not cold.[(triple1)] Charlie is cold.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Erin is furry.[(triple6)] Erin is round.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is young.[(triple10)] @1: Charlie is smart.[(((triple5 triple3) -> rule6))] @2: Charlie is not green.[(((triple3 ((triple5 triple3) -> rule6)) -> rule2))] Charlie is not young.[(((triple5 ((triple5 triple3) -> rule6)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple5 triple3) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is not green.
("Charlie" "is" "green" "-")
((triple3 ((triple5 triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is not young.
("Charlie" "is" "young" "-")
((triple5 ((triple5 triple3) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is not young.
("Charlie" "is" "young" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2