Anne is big. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is not round. Anne is smart. Bob is green. Bob is kind. Bob is quiet. Bob is red. Gary is big. Gary is not green. Gary is kind. Gary is not round. Gary is smart. Quiet, smart people are not round. If someone is green then they are quiet. Kind people are smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Quiet, smart people are not round.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "-"))
If someone is green then they are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
Kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
Anne is red.
True
1
proof
[(triple5)]
("Anne" "is" "red" "+")
triple5
Anne is not quiet.
False
1
inv-proof
[(triple4 OR ((triple2) -> rule2))]
("Anne" "is" "quiet" "-")
triple4
((triple2) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Bob is smart.
True
2
proof
[(((triple9) -> rule3))]
("Bob" "is" "smart" "+")
((triple9) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not smart.
False
2
inv-proof
[(((triple9) -> rule3))]
("Bob" "is" "smart" "-")
((triple9) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not round.
True
4
proof
[(((triple10 ((triple9) -> rule3)) -> rule1) OR ((((triple8) -> rule2) ((triple9) -> rule3)) -> rule1))]
("Bob" "is" "round" "-")
((triple10 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is round.
False
4
inv-proof
[(((triple10 ((triple9) -> rule3)) -> rule1) OR ((((triple8) -> rule2) ((triple9) -> rule3)) -> rule1))]
("Bob" "is" "round" "+")
((triple10 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not round.[(triple6 OR ((triple4 triple7) -> rule1) OR ((triple4 ((triple3) -> rule3)) -> rule1) OR ((((triple2) -> rule2) triple7) -> rule1) OR ((((triple2) -> rule2) ((triple3) -> rule3)) -> rule1))] Anne is quiet.[(triple4 OR ((triple2) -> rule2))] Anne is red.[(triple5)] Anne is smart.[(triple7 OR ((triple3) -> rule3))] Bob is green.[(triple8)] Bob is kind.[(triple9)] Bob is quiet.[(triple10 OR ((triple8) -> rule2))] Bob is red.[(triple11)] Gary is big.[(triple12)] Gary is kind.[(triple14)] Gary is not green.[(triple13)] Gary is not round.[(triple15)] Gary is smart.[(triple16 OR ((triple14) -> rule3))] @1: Bob is smart.[(((triple9) -> rule3))] @2: Bob is not round.[(((triple10 ((triple9) -> rule3)) -> rule1) OR ((((triple8) -> rule2) ((triple9) -> rule3)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not round.
("Anne" "is" "round" "-")
triple6
((triple4 triple7) -> (rule1 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
((triple4 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple2) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple2) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple7
((triple3) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple9
Bob is quiet.
("Bob" "is" "quiet" "+")
triple10
((triple8) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is not green.
("Gary" "is" "green" "-")
triple13
Gary is not round.
("Gary" "is" "round" "-")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple16
((triple14) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple9) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not round.
("Bob" "is" "round" "-")
((triple10 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3