Anne is big. Anne is blue. Bob is big. Bob is blue. Bob is rough. Bob is smart. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is rough. Erin is smart. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Big people are green. Smart, blue people are furry. All green, blue people are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Smart, blue people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All green, blue people are furry.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Fiona is green.
True
1
proof
[(triple14)]
("Fiona" "is" "green" "+")
triple14
Fiona is not furry.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "furry" "-")
triple13
Bob is green.
True
2
proof
[(((triple3) -> rule1))]
("Bob" "is" "green" "+")
((triple3) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not furry.
False
3
inv-proof
[(((triple6 triple4) -> rule2) OR ((((triple3) -> rule1) triple4) -> rule3))]
("Bob" "is" "furry" "-")
((triple6 triple4) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple3) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Anne is furry.
True
4
proof
[(((((triple1) -> rule1) triple2) -> rule3))]
("Anne" "is" "furry" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is not furry.
False
4
inv-proof
[(((((triple1) -> rule1) triple2) -> rule3))]
("Anne" "is" "furry" "-")
((((triple1) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Bob is big.[(triple3)] Bob is blue.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9 OR ((triple10 triple8) -> rule3) OR ((triple12 triple8) -> rule2) OR ((((triple7) -> rule1) triple8) -> rule3))] Erin is green.[(triple10 OR ((triple7) -> rule1))] Erin is rough.[(triple11)] Erin is smart.[(triple12)] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is nice.[(triple15)] Fiona is rough.[(triple16)] @1: Anne is green.[(((triple1) -> rule1))] Bob is furry.[(((triple6 triple4) -> rule2) OR ((((triple3) -> rule1) triple4) -> rule3))] Bob is green.[(((triple3) -> rule1))] @2: Anne is furry.[(((((triple1) -> rule1) triple2) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
((triple10 triple8) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple12 triple8) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple10
((triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is green.
("Fiona" "is" "green" "+")
triple14
Fiona is nice.
("Fiona" "is" "nice" "+")
triple15
Fiona is rough.
("Fiona" "is" "rough" "+")
triple16
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple6 triple4) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple3) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple3) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2