Anne is big. Anne is smart. Anne is white. Bob is blue. Bob is red. Bob is not smart. Bob is white. Dave is red. Harry is not big. Harry is blue. Harry is red. Harry is rough. Harry is smart. Harry is white. Harry is young. All white people are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is white.
("Bob" "is" "white" "+")
Dave is red.
("Dave" "is" "red" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All white people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Bob is white.
True
1
proof
[(triple7)]
("Bob" "is" "white" "+")
triple7
Harry is big.
False
1
inv-proof
[(triple9)]
("Harry" "is" "big" "+")
triple9
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4 OR ((triple7) -> rule1))] Bob is not smart.[(triple6)] Bob is red.[(triple5)] Bob is white.[(triple7)] Dave is red.[(triple8)] Harry is blue.[(triple10 OR ((triple14) -> rule1))] Harry is not big.[(triple9)] Harry is red.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Anne is blue.[(((triple3) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
((triple7) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple10
((triple14) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not big.
("Harry" "is" "big" "-")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Harry is smart.
("Harry" "is" "smart" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Anne is blue.
("Anne" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1