Charlie is not quiet. Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Harry is not cold. Harry is kind. Harry is quiet. Harry is red. Harry is not round. All blue people are red.
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not round.
("Harry" "is" "round" "-")
All blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Charlie is not quiet.
True
1
proof
[(triple1)]
("Charlie" "is" "quiet" "-")
triple1
Harry is not kind.
False
1
inv-proof
[(triple7)]
("Harry" "is" "kind" "-")
triple7
Erin is red.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "red" "+")
((triple2) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "red" "-")
((triple2) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is not quiet.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Harry is kind.[(triple7)] Harry is not cold.[(triple6)] Harry is not round.[(triple10)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] @1: Erin is red.[(((triple2) -> rule1))]
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is not cold.
("Harry" "is" "cold" "-")
triple6
Harry is not round.
("Harry" "is" "round" "-")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
((triple2) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1