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