Charlie is big. Charlie is blue. Charlie is furry. Charlie is not kind. Charlie is quiet. Charlie is young. Erin is not big. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Harry is big. Harry is blue. Harry is cold. Harry is furry. If Charlie is big then Charlie is cold. If someone is furry and not blue then they are not young. If someone is big and not blue then they are kind.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Charlie is big then Charlie is cold.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "cold" "+"))
If someone is furry and not blue then they are not young.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "young" "-"))
If someone is big and not blue then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "kind" "+"))
Harry is cold.
True
1
proof
[(triple15)]
("Harry" "is" "cold" "+")
triple15
Charlie is not big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is not kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is young.[(triple6)] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is furry.[(triple10)] Erin is kind.[(triple11)] Erin is not big.[(triple7)] Erin is quiet.[(triple12)] Harry is big.[(triple13)] Harry is blue.[(triple14)] Harry is cold.[(triple15)] Harry is furry.[(triple16)] @1: Charlie is cold.[(((triple1) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is cold.
("Erin" "is" "cold" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Erin is kind.
("Erin" "is" "kind" "+")
triple11
Erin is not big.
("Erin" "is" "big" "-")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple12
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is blue.
("Harry" "is" "blue" "+")
triple14
Harry is cold.
("Harry" "is" "cold" "+")
triple15
Harry is furry.
("Harry" "is" "furry" "+")
triple16
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1