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