Anne is big. Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is rough. Charlie is big. Charlie is blue. Charlie is nice. Charlie is red. Charlie is rough. Gary is nice. Harry is blue. Harry is nice. Harry is rough. Harry is white. Big things are blue. If something is nice and big then it is green. If Anne is nice then Anne is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is nice and big then it is green.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If Anne is nice then Anne is big.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "big" "+"))
Anne is big.
True
1
proof
[(triple1 OR ((triple4) -> rule3))]
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Harry is not rough.
False
1
inv-proof
[(triple15)]
("Harry" "is" "rough" "-")
triple15
Charlie is green.
True
3
proof
[(((triple9 triple7) -> rule2))]
("Charlie" "is" "green" "+")
((triple9 triple7) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple9 triple7) -> rule2))]
("Charlie" "is" "green" "-")
((triple9 triple7) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1 OR ((triple4) -> rule3))] Anne is blue.[(triple2 OR ((triple1) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Anne is green.[(triple3 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple4) -> rule3)) -> rule2))] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Charlie is big.[(triple7)] Charlie is blue.[(triple8 OR ((triple7) -> rule1))] Charlie is nice.[(triple9)] Charlie is red.[(triple10)] Charlie is rough.[(triple11)] Gary is nice.[(triple12)] Harry is blue.[(triple13)] Harry is nice.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Charlie is green.[(((triple9 triple7) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple4 triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple4 ((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
((triple7) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Charlie is green.
("Charlie" "is" "green" "+")
((triple9 triple7) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1