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