Bob is blue. Bob is quiet. Bob is round. If Bob is quiet and Bob is blue then Bob is not big. If something is kind then it is red. If something is blue and not big then it is red.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
If Bob is quiet and Bob is blue then Bob is not big.
((("Bob" "is" "quiet" "+") ("Bob" "is" "blue" "+")) -> ("Bob" "is" "big" "-"))
If something is kind then it is red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is blue and not big then it is red.
((("something" "is" "blue" "+") ("something" "is" "big" "~")) -> ("something" "is" "red" "+"))
Bob is quiet.
True
1
proof
[(triple2)]
("Bob" "is" "quiet" "+")
triple2
Bob is not quiet.
False
1
inv-proof
[(triple2)]
("Bob" "is" "quiet" "-")
triple2
Bob is not big.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Bob" "is" "big" "-")
((triple2 triple1) -> (rule1 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is big.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Bob" "is" "big" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is red.
True
5
proof
[(((triple1 ((triple2 triple1) -> rule1)) -> rule3))]
("Bob" "is" "red" "+")
((triple1 ((triple2 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not big.
("Bob" "is" "big" "-")
int2
Bob is not red.
False
5
inv-proof
[(((triple1 ((triple2 triple1) -> rule1)) -> rule3))]
("Bob" "is" "red" "-")
((triple1 ((triple2 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not big.
("Bob" "is" "big" "-")
int2
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] @1: Bob is not big.[(((triple2 triple1) -> rule1))] @2: Bob is red.[(((triple1 ((triple2 triple1) -> rule1)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
((triple2 triple1) -> (rule1 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple1 ((triple2 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not big.
("Bob" "is" "big" "-")
int2