Anne is red. Charlie is big. Charlie is green. Erin is kind. Erin is red. Erin is white. Harry is nice. If someone is red then they are green.
Anne is red.
("Anne" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is red then they are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Erin is white.
True
1
proof
[(triple6)]
("Erin" "is" "white" "+")
triple6
Charlie is not big.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "big" "-")
triple2
Erin is green.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "green" "+")
((triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "green" "-")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is red.[(triple1)] Charlie is big.[(triple2)] Charlie is green.[(triple3)] Erin is kind.[(triple4)] Erin is red.[(triple5)] Erin is white.[(triple6)] Harry is nice.[(triple7)] @1: Anne is green.[(((triple1) -> rule1))] Erin is green.[(((triple5) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1