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