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