Anne is furry. Anne is nice. Anne is young. Charlie is nice. Dave is big. Dave is nice. Dave is rough. Dave is young. Fiona is not big. Fiona is nice. Fiona is rough. Fiona is young. If Anne is blue then Anne is not cold. If Fiona is big then Fiona is not blue. If Anne is nice and Anne is not big then Anne is blue. Furry things are blue. If Fiona is blue then Fiona is not rough. All cold things are not rough. If Charlie is nice then Charlie is not blue. If something is blue then it is young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Anne is blue then Anne is not cold.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "cold" "-"))
If Fiona is big then Fiona is not blue.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "blue" "-"))
If Anne is nice and Anne is not big then Anne is blue.
((("Anne" "is" "nice" "+") ("Anne" "is" "big" "~")) -> ("Anne" "is" "blue" "+"))
Furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If Fiona is blue then Fiona is not rough.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "rough" "-"))
All cold things are not rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "-"))
If Charlie is nice then Charlie is not blue.
((("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "blue" "-"))
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Fiona is young.
True
1
proof
[(triple12)]
("Fiona" "is" "young" "+")
triple12
Dave is not rough.
False
1
inv-proof
[(triple7)]
("Dave" "is" "rough" "-")
triple7
Anne is blue.
True
2
proof
[(((triple1) -> rule4))]
("Anne" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Charlie is blue.
False
2
inv-proof
[(((triple4) -> rule7))]
("Charlie" "is" "blue" "+")
((triple4) -> (rule7 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Anne is not cold.
True
3
proof
[(((((triple1) -> rule4)) -> rule1))]
("Anne" "is" "cold" "-")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule1))]
("Anne" "is" "cold" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "blue" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "blue" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Charlie" "is" "young" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3 OR ((((triple1) -> rule4)) -> rule8))] Charlie is nice.[(triple4)] Dave is big.[(triple5)] Dave is nice.[(triple6)] Dave is rough.[(triple7)] Dave is young.[(triple8)] Fiona is nice.[(triple10)] Fiona is not big.[(triple9)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] @1: Anne is blue.[(((triple1) -> rule4))] Charlie is not blue.[(((triple4) -> rule7))] @2: Anne is not cold.[(((((triple1) -> rule4)) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
((((triple1) -> (rule4 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is not big.
("Fiona" "is" "big" "-")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Charlie is not blue.
("Charlie" "is" "blue" "-")
((triple4) -> (rule7 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Anne is not cold.
("Anne" "is" "cold" "-")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2