Bob is big. Bob is blue. Bob is furry. Bob is red. Bob is white. Erin is big. Erin is blue. Erin is nice. Erin is red. Fiona is green. Fiona is nice. Fiona is red. All furry, nice people are blue. If Erin is red then Erin is green. All green people are big. If someone is white and green then they are blue. All green people are furry. If Fiona is green then Fiona is white.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All furry, nice people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If Erin is red then Erin is green.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "green" "+"))
All green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is white and green then they are blue.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is green then Fiona is white.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "white" "+"))
Erin is big.
True
1
proof
[(triple6 OR ((((triple9) -> rule2)) -> rule3))]
("Erin" "is" "big" "+")
triple6
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Bob is not white.
False
1
inv-proof
[(triple5)]
("Bob" "is" "white" "-")
triple5
Fiona is furry.
True
2
proof
[(((triple10) -> rule5))]
("Fiona" "is" "furry" "+")
((triple10) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple10) -> rule5))]
("Fiona" "is" "furry" "-")
((triple10) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is red.[(triple4)] Bob is white.[(triple5)] Erin is big.[(triple6 OR ((((triple9) -> rule2)) -> rule3))] Erin is blue.[(triple7 OR ((((((triple9) -> rule2)) -> rule5) triple8) -> rule1))] Erin is nice.[(triple8)] Erin is red.[(triple9)] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12)] @1: Erin is green.[(((triple9) -> rule2))] Fiona is big.[(((triple10) -> rule3))] Fiona is furry.[(((triple10) -> rule5))] Fiona is white.[(((triple10) -> rule6))] @2: Erin is furry.[(((((triple9) -> rule2)) -> rule5))] Fiona is blue.[(((((triple10) -> rule5) triple11) -> rule1) OR ((((triple10) -> rule6) triple10) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
triple7
((((((triple9) -> (rule2 % int3))) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
((triple9) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple10) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple10) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple10) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((((triple9) -> (rule2 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple10) -> (rule5 % int2)) triple11) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple10) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2