Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is red. Erin is blue. Erin is green. Erin is nice. Erin is red. If Bob is green and Bob is big then Bob is smart.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
If Bob is green and Bob is big then Bob is smart.
((("Bob" "is" "green" "+") ("Bob" "is" "big" "+")) -> ("Bob" "is" "smart" "+"))
Erin is blue.
True
1
proof
[(triple7)]
("Erin" "is" "blue" "+")
triple7
Bob is not green.
False
1
inv-proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Bob is smart.
True
3
proof
[(((triple3 triple1) -> rule1))]
("Bob" "is" "smart" "+")
((triple3 triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not smart.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("Bob" "is" "smart" "-")
((triple3 triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is red.[(triple6)] Erin is blue.[(triple7)] Erin is green.[(triple8)] Erin is nice.[(triple9)] Erin is red.[(triple10)] @1: Bob is smart.[(((triple3 triple1) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
((triple3 triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1