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