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