Charlie is blue. Charlie is quiet. Charlie is red. Charlie is round. Fiona is blue. Fiona is not cold. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. If something is rough and cold then it is young. Round, blue things are quiet. Blue, cold things are rough. If something is blue then it is rough. All blue things are not cold. If Charlie is rough and Charlie is quiet then Charlie is red. All quiet, rough things are red. If something is quiet and not rough then it is red.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is rough and cold then it is young.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Round, blue things are quiet.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Blue, cold things are rough.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
All blue things are not cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "-"))
If Charlie is rough and Charlie is quiet then Charlie is red.
((("Charlie" "is" "rough" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "red" "+"))
All quiet, rough things are red.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is quiet and not rough then it is red.
((("something" "is" "quiet" "+") ("something" "is" "rough" "~")) -> ("something" "is" "red" "+"))
Charlie is blue.
True
1
proof
[(triple1)]
("Charlie" "is" "blue" "+")
triple1
Fiona is cold.
False
1
inv-proof
[(triple6 OR ((triple5) -> rule5))]
("Fiona" "is" "cold" "+")
triple6
((triple5) -> (rule5 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Charlie is not cold.
True
2
proof
[(((triple1) -> rule5))]
("Charlie" "is" "cold" "-")
((triple1) -> (rule5 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple1) -> rule4))]
("Charlie" "is" "rough" "-")
((triple1) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2 OR ((triple4 triple1) -> rule2))] Charlie is red.[(triple3 OR ((triple2 ((triple1) -> rule4)) -> rule7) OR ((((triple1) -> rule4) triple2) -> rule6) OR ((((triple1) -> rule4) ((triple4 triple1) -> rule2)) -> rule6) OR ((((triple4 triple1) -> rule2) ((triple1) -> rule4)) -> rule7))] Charlie is round.[(triple4)] Fiona is blue.[(triple5)] Fiona is not cold.[(triple6 OR ((triple5) -> rule5))] Fiona is quiet.[(triple7)] Fiona is red.[(triple8 OR ((triple7 triple9) -> rule7) OR ((triple7 ((triple5) -> rule4)) -> rule7))] Fiona is rough.[(triple9 OR ((triple5) -> rule4))] Fiona is young.[(triple10)] @1: Charlie is not cold.[(((triple1) -> rule5))] Charlie is rough.[(((triple1) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
((triple4 triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
((triple2 ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple1) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple1) -> (rule4 % int3)) ((triple4 triple1) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple4 triple1) -> (rule2 % int3)) ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple6
((triple5) -> (rule5 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple7 triple9) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple7 ((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
((triple5) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Charlie is not cold.
("Charlie" "is" "cold" "-")
((triple1) -> (rule5 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1