Fiona is blue. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Gary is furry. Gary is quiet. Gary is red. Gary is not round. Furry people are quiet. All red people are quiet. If Gary is quiet and Gary is not red then Gary is nice. All furry people are blue. If someone is green and not red then they are not furry. If someone is green then they are nice.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not round.
("Gary" "is" "round" "-")
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
All red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
If Gary is quiet and Gary is not red then Gary is nice.
((("Gary" "is" "quiet" "+") ("Gary" "is" "red" "~")) -> ("Gary" "is" "nice" "+"))
All furry people are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and not red then they are not furry.
((("someone" "is" "green" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "furry" "-"))
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Gary is not round.
True
1
proof
[(triple10)]
("Gary" "is" "round" "-")
triple10
Gary is not quiet.
False
1
inv-proof
[(triple8 OR ((triple7) -> rule1) OR ((triple9) -> rule2))]
("Gary" "is" "quiet" "-")
triple8
((triple7) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple9) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Fiona is nice.
True
2
proof
[(((triple3) -> rule6))]
("Fiona" "is" "nice" "+")
((triple3) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple7) -> rule4))]
("Gary" "is" "blue" "-")
((triple7) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Fiona is blue.[(triple1 OR ((triple2) -> rule4))] Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is quiet.[(triple4 OR ((triple2) -> rule1) OR ((triple5) -> rule2))] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Gary is furry.[(triple7)] Gary is not round.[(triple10)] Gary is quiet.[(triple8 OR ((triple7) -> rule1) OR ((triple9) -> rule2))] Gary is red.[(triple9)] @1: Fiona is nice.[(((triple3) -> rule6))] Gary is blue.[(((triple7) -> rule4))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
((triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
((triple2) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple5) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is not round.
("Gary" "is" "round" "-")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((triple7) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple9) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple7) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1