Charlie is cold. Gary is nice. Gary is rough. Gary is round. Gary is smart. Harry is cold. Harry is nice. All cold, blue things are kind. Rough, cold things are blue. Kind things are cold. All kind things are cold. Cold, smart things are rough. If something is cold then it is rough.
Charlie is cold.
("Charlie" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All cold, blue things are kind.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Rough, cold things are blue.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
Kind things are cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
All kind things are cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Cold, smart things are rough.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If something is cold then it is rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Gary is smart.
True
1
proof
[(triple5)]
("Gary" "is" "smart" "+")
triple5
Charlie is not cold.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "cold" "-")
triple1
Harry is rough.
True
2
proof
[(((triple6) -> rule6))]
("Harry" "is" "rough" "+")
((triple6) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple1) -> rule6))]
("Charlie" "is" "rough" "-")
((triple1) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Harry is blue.
True
4
proof
[(((((triple6) -> rule6) triple6) -> rule2))]
("Harry" "is" "blue" "+")
((((triple6) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not blue.
False
4
inv-proof
[(((((triple6) -> rule6) triple6) -> rule2))]
("Harry" "is" "blue" "-")
((((triple6) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
True
6
proof
[(((triple6 ((((triple6) -> rule6) triple6) -> rule2)) -> rule1))]
("Harry" "is" "kind" "+")
((triple6 ((((triple6) -> (rule6 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not kind.
False
6
inv-proof
[(((triple6 ((((triple6) -> rule6) triple6) -> rule2)) -> rule1))]
("Harry" "is" "kind" "-")
((triple6 ((((triple6) -> (rule6 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@3: Gary is blue.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is cold.
Unknown
rconc
[@3: Gary is cold.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule4 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Charlie is cold.[(triple1)] Gary is nice.[(triple2)] Gary is rough.[(triple3)] Gary is round.[(triple4)] Gary is smart.[(triple5)] Harry is cold.[(triple6)] Harry is nice.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule6))] Harry is rough.[(((triple6) -> rule6))] @2: Charlie is blue.[(((((triple1) -> rule6) triple1) -> rule2))] Harry is blue.[(((((triple6) -> rule6) triple6) -> rule2))] @3: Charlie is kind.[(((triple1 ((((triple1) -> rule6) triple1) -> rule2)) -> rule1))] Harry is kind.[(((triple6 ((((triple6) -> rule6) triple6) -> rule2)) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Gary is nice.
("Gary" "is" "nice" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple6) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple6) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1 ((((triple1) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((triple6 ((((triple6) -> (rule6 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3