Bob is big. Bob is furry. Bob is quiet. Bob is white. Bob is young. Erin is furry. Erin is green. Erin is quiet. Erin is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is smart. Fiona is white. If Bob is quiet then Bob is green. All quiet, white things are green.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Bob is quiet then Bob is green.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "green" "+"))
All quiet, white things are green.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Fiona is green.
True
1
proof
[(triple12 OR ((triple13 triple15) -> rule2))]
("Fiona" "is" "green" "+")
triple12
((triple13 triple15) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not big.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "big" "-")
triple10
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is quiet.[(triple8)] Erin is young.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12 OR ((triple13 triple15) -> rule2))] Fiona is quiet.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] @1: Bob is green.[(((triple3) -> rule1) OR ((triple3 triple4) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
((triple13 triple15) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Bob is green.
("Bob" "is" "green" "+")
((triple3) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple3 triple4) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1