Bob is furry. Bob is kind. Bob is round. Charlie is blue. Charlie is round. Erin is blue. Erin is red. Erin is rough. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. If Charlie is rough then Charlie is blue. If Erin is red then Erin is round.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Charlie is rough then Charlie is blue.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "blue" "+"))
If Erin is red then Erin is round.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "round" "+"))
Fiona is blue.
True
1
proof
[(triple9)]
("Fiona" "is" "blue" "+")
triple9
Erin is not blue.
False
1
inv-proof
[(triple6)]
("Erin" "is" "blue" "-")
triple6
Erin is round.
True
2
proof
[(((triple7) -> rule2))]
("Erin" "is" "round" "+")
((triple7) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple7) -> rule2))]
("Erin" "is" "round" "-")
((triple7) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is round.[(triple5)] Erin is blue.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is red.[(triple13)] Fiona is rough.[(triple14)] Fiona is round.[(triple15)] @1: Erin is round.[(((triple7) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Erin is round.
("Erin" "is" "round" "+")
((triple7) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1