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