Anne is cold. Charlie is kind. Fiona is round. Harry is cold. If something is quiet then it is round. If something is kind then it is green. All furry things are young. All kind, young things are green. Cold things are young. If something is green then it is quiet. If Fiona is round then Fiona is cold. If Anne is cold and Anne is quiet then Anne is furry.
Anne is cold.
("Anne" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If something is quiet then it is round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
All furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
All kind, young things are green.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is green then it is quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is round then Fiona is cold.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "cold" "+"))
If Anne is cold and Anne is quiet then Anne is furry.
((("Anne" "is" "cold" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "furry" "+"))
Harry is cold.
True
1
proof
[(triple4)]
("Harry" "is" "cold" "+")
triple4
Charlie is not kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Charlie is green.
True
2
proof
[(((triple2) -> rule2))]
("Charlie" "is" "green" "+")
((triple2) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule5))]
("Anne" "is" "young" "-")
((triple1) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "green" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "green" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Charlie is kind.[(triple2)] Fiona is round.[(triple3)] Harry is cold.[(triple4)] @1: Anne is young.[(((triple1) -> rule5))] Charlie is green.[(((triple2) -> rule2))] Fiona is cold.[(((triple3) -> rule7))] Harry is young.[(((triple4) -> rule5))] @2: Charlie is quiet.[(((((triple2) -> rule2)) -> rule6))] Fiona is young.[(((((triple3) -> rule7)) -> rule5))] @3: Charlie is round.[(((((((triple2) -> rule2)) -> rule6)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple2) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple4) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3