Anne is quiet. Anne is white. Charlie is furry. Charlie is green. Charlie is nice. Charlie is not quiet. Charlie is white. Dave is big. Dave is not cold. Dave is furry. Dave is green. Dave is nice. Dave is white. Fiona is furry. Fiona is quiet. Fiona is white. If Fiona is furry and Fiona is white then Fiona is not green. All quiet things are not big. If something is furry and not green then it is cold.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is furry and Fiona is white then Fiona is not green.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "green" "-"))
All quiet things are not big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "-"))
If something is furry and not green then it is cold.
((("something" "is" "furry" "+") ("something" "is" "green" "~")) -> ("something" "is" "cold" "+"))
Fiona is furry.
True
1
proof
[(triple14)]
("Fiona" "is" "furry" "+")
triple14
Charlie is not green.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "green" "-")
triple4
Fiona is not green.
True
3
proof
[(((triple14 triple16) -> rule1))]
("Fiona" "is" "green" "-")
((triple14 triple16) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Anne is big.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "big" "+")
((triple1) -> (rule2 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Fiona is cold.
True
5
proof
[(((triple14 ((triple14 triple16) -> rule1)) -> rule3))]
("Fiona" "is" "cold" "+")
((triple14 ((triple14 triple16) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
int2
Fiona is not cold.
False
5
inv-proof
[(((triple14 ((triple14 triple16) -> rule1)) -> rule3))]
("Fiona" "is" "cold" "-")
((triple14 ((triple14 triple16) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
int2
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Anne is cold.
Unknown
rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "cold" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is not quiet.[(triple6)] Charlie is white.[(triple7)] Dave is big.[(triple8)] Dave is furry.[(triple10)] Dave is green.[(triple11)] Dave is nice.[(triple12)] Dave is not cold.[(triple9)] Dave is white.[(triple13)] Fiona is furry.[(triple14)] Fiona is quiet.[(triple15)] Fiona is white.[(triple16)] @1: Anne is not big.[(((triple1) -> rule2))] Fiona is not big.[(((triple15) -> rule2))] Fiona is not green.[(((triple14 triple16) -> rule1))] @2: Fiona is cold.[(((triple14 ((triple14 triple16) -> rule1)) -> rule3))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is furry.
("Dave" "is" "furry" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple11
Dave is nice.
("Dave" "is" "nice" "+")
triple12
Dave is not cold.
("Dave" "is" "cold" "-")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple13
Fiona is furry.
("Fiona" "is" "furry" "+")
triple14
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16
Anne is not big.
("Anne" "is" "big" "-")
((triple1) -> (rule2 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
((triple15) -> (rule2 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((triple14 triple16) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple14 ((triple14 triple16) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
int2