Gary is furry. Gary is green. Gary is quiet. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is quiet. Harry is not rough. Harry is smart. If Harry is green and Harry is not rough then Harry is quiet. Rough people are smart. If someone is quiet and green then they are smart. If someone is green then they are blue. If Gary is rough and Gary is not quiet then Gary is green. If Gary is cold and Gary is smart then Gary is blue. If Harry is cold and Harry is smart then Harry is furry. If Gary is not quiet then Gary is cold.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If Harry is green and Harry is not rough then Harry is quiet.
((("Harry" "is" "green" "+") ("Harry" "is" "rough" "~")) -> ("Harry" "is" "quiet" "+"))
Rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
If someone is quiet and green then they are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is green then they are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If Gary is rough and Gary is not quiet then Gary is green.
((("Gary" "is" "rough" "+") ("Gary" "is" "quiet" "~")) -> ("Gary" "is" "green" "+"))
If Gary is cold and Gary is smart then Gary is blue.
((("Gary" "is" "cold" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "blue" "+"))
If Harry is cold and Harry is smart then Harry is furry.
((("Harry" "is" "cold" "+") ("Harry" "is" "smart" "+")) -> ("Harry" "is" "furry" "+"))
If Gary is not quiet then Gary is cold.
((("Gary" "is" "quiet" "~")) -> ("Gary" "is" "cold" "+"))
Harry is blue.
True
1
proof
[(triple4 OR ((triple7) -> rule4))]
("Harry" "is" "blue" "+")
triple4
((triple7) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Gary is not green.
False
1
inv-proof
[(triple2)]
("Gary" "is" "green" "-")
triple2
Gary is smart.
True
3
proof
[(((triple3 triple2) -> rule3))]
("Gary" "is" "smart" "+")
((triple3 triple2) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("Gary" "is" "smart" "-")
((triple3 triple2) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is quiet.[(triple3)] Harry is blue.[(triple4 OR ((triple7) -> rule4))] Harry is cold.[(triple5)] Harry is furry.[(triple6 OR ((triple5 triple10) -> rule7) OR ((triple5 ((triple8 triple7) -> rule3)) -> rule7) OR ((triple5 ((((triple7 triple9) -> rule1) triple7) -> rule3)) -> rule7))] Harry is green.[(triple7)] Harry is not rough.[(triple9)] Harry is quiet.[(triple8 OR ((triple7 triple9) -> rule1))] Harry is smart.[(triple10 OR ((triple8 triple7) -> rule3) OR ((((triple7 triple9) -> rule1) triple7) -> rule3))] @1: Gary is blue.[(((triple2) -> rule4))] Gary is smart.[(((triple3 triple2) -> rule3))]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
((triple7) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
((triple5 triple10) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple5 ((triple8 triple7) -> (rule3 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((triple5 ((((triple7 triple9) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is not rough.
("Harry" "is" "rough" "-")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
((triple7 triple9) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple10
((triple8 triple7) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple7 triple9) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple3 triple2) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1