Anne is cold. Anne is green. Anne is quiet. Anne is red. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Dave is green. Dave is round. Fiona is cold. Fiona is round. If someone is furry and not cold then they are green. If someone is nice then they are green. If someone is green and quiet then they are furry. All nice people are furry. Nice people are furry. If Anne is quiet and Anne is cold then Anne is red. All nice, round people are red. If someone is nice and not green then they are not red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is furry and not cold then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "green" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is green and quiet then they are furry.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
All nice people are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Nice people are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If Anne is quiet and Anne is cold then Anne is red.
((("Anne" "is" "quiet" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "red" "+"))
All nice, round people are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and not green then they are not red.
((("someone" "is" "nice" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "red" "-"))
Fiona is round.
True
1
proof
[(triple12)]
("Fiona" "is" "round" "+")
triple12
Bob is not cold.
False
1
inv-proof
[(triple5)]
("Bob" "is" "cold" "-")
triple5
Anne is furry.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Anne" "is" "furry" "+")
((triple2 triple3) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Anne" "is" "furry" "-")
((triple2 triple3) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "red" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "red" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple3 triple1) -> rule6))] Bob is cold.[(triple5)] Bob is furry.[(triple6 OR ((triple7 triple8) -> rule3))] Bob is green.[(triple7)] Bob is quiet.[(triple8)] Dave is green.[(triple9)] Dave is round.[(triple10)] Fiona is cold.[(triple11)] Fiona is round.[(triple12)] @1: Anne is furry.[(((triple2 triple3) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple3 triple1) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
((triple7 triple8) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple2 triple3) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1