Anne is big. Anne is nice. Anne is rough. Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Fiona is big. Fiona is furry. Fiona is kind. Gary is big. Gary is blue. Gary is furry. Gary is red. If Fiona is kind and Fiona is red then Fiona is blue. Kind, red people are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
If Fiona is kind and Fiona is red then Fiona is blue.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "blue" "+"))
Kind, red people are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Charlie is red.
True
1
proof
[(triple8)]
("Charlie" "is" "red" "+")
triple8
Fiona is not kind.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "kind" "-")
triple12
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Charlie is big.[(triple4 OR ((triple6 triple8) -> rule2))] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11)] Fiona is kind.[(triple12)] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is furry.[(triple15)] Gary is red.[(triple16)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
((triple6 triple8) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is blue.
("Gary" "is" "blue" "+")
triple14
Gary is furry.
("Gary" "is" "furry" "+")
triple15
Gary is red.
("Gary" "is" "red" "+")
triple16