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