Charlie is nice. Charlie is round. Charlie is smart. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is smart. Round, rough people are cold. If Charlie is round and Charlie is smart then Charlie is cold. All smart, cold people are furry.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Round, rough people are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If Charlie is round and Charlie is smart then Charlie is cold.
((("Charlie" "is" "round" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "cold" "+"))
All smart, cold people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Harry is kind.
True
1
proof
[(triple6)]
("Harry" "is" "kind" "+")
triple6
Harry is not nice.
False
1
inv-proof
[(triple7)]
("Harry" "is" "nice" "-")
triple7
Charlie is cold.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Charlie" "is" "cold" "+")
((triple2 triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Charlie" "is" "cold" "-")
((triple2 triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Charlie is nice.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Harry is cold.[(triple4 OR ((triple9 triple8) -> rule1))] Harry is furry.[(triple5 OR ((triple10 triple4) -> rule3) OR ((triple10 ((triple9 triple8) -> rule1)) -> rule3))] Harry is kind.[(triple6)] Harry is nice.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Charlie is cold.[(((triple2 triple3) -> rule2))] @2: Charlie is furry.[(((triple3 ((triple2 triple3) -> rule2)) -> rule3))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple4
((triple9 triple8) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple5
((triple10 triple4) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple10 ((triple9 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple3 ((triple2 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2