Bob is round. Bob is smart. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Gary is green. Gary is nice. Gary is quiet. Gary is round. Quiet, white people are green. If Charlie is green and Charlie is quiet then Charlie is nice. If Bob is white then Bob is nice.
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Quiet, white people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Charlie is green and Charlie is quiet then Charlie is nice.
((("Charlie" "is" "green" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "nice" "+"))
If Bob is white then Bob is nice.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "nice" "+"))
Charlie is rough.
True
1
proof
[(triple5)]
("Charlie" "is" "rough" "+")
triple5
Bob is not smart.
False
1
inv-proof
[(triple2)]
("Bob" "is" "smart" "-")
triple2
Charlie is nice.
True
3
proof
[(((triple3 triple4) -> rule2) OR ((((triple4 triple8) -> rule1) triple4) -> rule2))]
("Charlie" "is" "nice" "+")
((triple3 triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple4 triple8) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not nice.
False
3
inv-proof
[(((triple3 triple4) -> rule2) OR ((((triple4 triple8) -> rule1) triple4) -> rule2))]
("Charlie" "is" "nice" "-")
((triple3 triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple4 triple8) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Bob is round.[(triple1)] Bob is smart.[(triple2)] Charlie is green.[(triple3 OR ((triple4 triple8) -> rule1))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Charlie is white.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is round.[(triple12)] @1: Charlie is nice.[(((triple3 triple4) -> rule2) OR ((((triple4 triple8) -> rule1) triple4) -> rule2))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
((triple4 triple8) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Charlie is white.
("Charlie" "is" "white" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3 triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple4 triple8) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2