Bob is blue. Bob is cold. Bob is round. Fiona is blue. Fiona is cold. Fiona is green. Fiona is round. Fiona is smart. Fiona is not white. Harry is blue. Harry is green. Harry is round. Cold, round people are blue. All white, cold people are blue. If Fiona is white and Fiona is blue then Fiona is cold. If someone is quiet and white then they are not smart. All quiet people are not cold. If someone is round and smart then they are not quiet. If Bob is round then Bob is not quiet. If Bob is not round then Bob is cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Cold, round people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All white, cold people are blue.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If Fiona is white and Fiona is blue then Fiona is cold.
((("Fiona" "is" "white" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "cold" "+"))
If someone is quiet and white then they are not smart.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
All quiet people are not cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "-"))
If someone is round and smart then they are not quiet.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "-"))
If Bob is round then Bob is not quiet.
((("Bob" "is" "round" "+")) -> ("Bob" "is" "quiet" "-"))
If Bob is not round then Bob is cold.
((("Bob" "is" "round" "~")) -> ("Bob" "is" "cold" "+"))
Fiona is blue.
True
1
proof
[(triple4 OR ((triple5 triple7) -> rule1))]
("Fiona" "is" "blue" "+")
triple4
((triple5 triple7) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not round.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "round" "-")
triple7
Bob is not quiet.
True
2
proof
[(((triple3) -> rule7))]
("Bob" "is" "quiet" "-")
((triple3) -> (rule7 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Fiona is quiet.
False
3
inv-proof
[(((triple7 triple8) -> rule6))]
("Fiona" "is" "quiet" "+")
((triple7 triple8) -> (rule6 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is blue.[(triple1 OR ((triple2 triple3) -> rule1))] Bob is cold.[(triple2)] Bob is round.[(triple3)] Fiona is blue.[(triple4 OR ((triple5 triple7) -> rule1))] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is not white.[(triple9)] Fiona is round.[(triple7)] Fiona is smart.[(triple8)] Harry is blue.[(triple10)] Harry is green.[(triple11)] Harry is round.[(triple12)] @1: Bob is not quiet.[(((triple3) -> rule7))] Fiona is not quiet.[(((triple7 triple8) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple2 triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
((triple5 triple7) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is not white.
("Fiona" "is" "white" "-")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
Bob is not quiet.
("Bob" "is" "quiet" "-")
((triple3) -> (rule7 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple7 triple8) -> (rule6 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1