Anne is nice. Charlie is furry. Charlie is green. Charlie is red. Erin is furry. Erin is nice. Erin is red. Harry is big. Harry is furry. Harry is nice. Harry is quiet. Harry is young. If something is quiet then it is red.
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is quiet then it is red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Charlie is green.
True
1
proof
[(triple3)]
("Charlie" "is" "green" "+")
triple3
Erin is not nice.
False
1
inv-proof
[(triple6)]
("Erin" "is" "nice" "-")
triple6
Harry is red.
True
2
proof
[(((triple11) -> rule1))]
("Harry" "is" "red" "+")
((triple11) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple11) -> rule1))]
("Harry" "is" "red" "-")
((triple11) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Anne is nice.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is red.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6)] Erin is red.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is young.[(triple12)] @1: Harry is red.[(((triple11) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
((triple11) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1