Charlie is quiet. Harry is red. All quiet, red people are white. Big, white people are kind. Kind people are cold. If someone is quiet and green then they are big. White people are quiet. If someone is big then they are quiet. All quiet people are kind. If someone is kind and cold then they are big.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
All quiet, red people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Big, white people are kind.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is quiet and green then they are big.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
White people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If someone is big then they are quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
All quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Harry is red.
True
1
proof
[(triple2)]
("Harry" "is" "red" "+")
triple2
Harry is not red.
False
1
inv-proof
[(triple2)]
("Harry" "is" "red" "-")
triple2
Harry is not cold.
Unknown
inv-rconc
[@6: Harry is cold.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule5 <- rule1 <- rule6 <- rule4 <- FAIL)]]
("Harry" "is" "cold" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is quiet.[(triple1)] Harry is red.[(triple2)] @1: Charlie is kind.[(((triple1) -> rule7))] @2: Charlie is cold.[(((((triple1) -> rule7)) -> rule3))] @3: Charlie is big.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule8))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Harry is red.
("Harry" "is" "red" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple1) -> (rule7 % int3)) ((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3