Erin is blue. Erin is furry. Erin is smart. Gary is cold. Gary is smart. Gary is young. Harry is quiet. All young things are furry. All quiet things are furry. If something is cold then it is not blue. If Harry is cold and Harry is smart then Harry is quiet. Furry things are big. All cold, blue things are smart.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
All quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If something is cold then it is not blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "-"))
If Harry is cold and Harry is smart then Harry is quiet.
((("Harry" "is" "cold" "+") ("Harry" "is" "smart" "+")) -> ("Harry" "is" "quiet" "+"))
Furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
All cold, blue things are smart.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
Erin is furry.
True
1
proof
[(triple2)]
("Erin" "is" "furry" "+")
triple2
Erin is not smart.
False
1
inv-proof
[(triple3)]
("Erin" "is" "smart" "-")
triple3
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is smart.[(triple3)] Gary is cold.[(triple4)] Gary is smart.[(triple5)] Gary is young.[(triple6)] Harry is quiet.[(triple7)] @1: Erin is big.[(((triple2) -> rule5))] Gary is furry.[(((triple6) -> rule1))] Gary is not blue.[(((triple4) -> rule3))] Harry is furry.[(((triple7) -> rule2))] @2: Gary is big.[(((((triple6) -> rule1)) -> rule5))] Harry is big.[(((((triple7) -> rule2)) -> rule5))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
((triple2) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not blue.
("Gary" "is" "blue" "-")
((triple4) -> (rule3 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple7) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2