Anne is big. Anne is kind. Anne is not quiet. Fiona is not blue. Gary is blue. Gary is cold. Gary is quiet. Gary is round. Harry is cold. Harry is kind. If something is cold and big then it is round. All kind things are cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If something is cold and big then it is round.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
All kind things are cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Harry is kind.
True
1
proof
[(triple10)]
("Harry" "is" "kind" "+")
triple10
Gary is not round.
False
1
inv-proof
[(triple8)]
("Gary" "is" "round" "-")
triple8
Anne is cold.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple2) -> rule2))]
("Anne" "is" "cold" "-")
((triple2) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
True
4
proof
[(((((triple2) -> rule2) triple1) -> rule1))]
("Anne" "is" "round" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not round.
False
4
inv-proof
[(((((triple2) -> rule2) triple1) -> rule1))]
("Anne" "is" "round" "-")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is not quiet.[(triple3)] Fiona is not blue.[(triple4)] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is quiet.[(triple7)] Gary is round.[(triple8)] Harry is cold.[(triple9 OR ((triple10) -> rule2))] Harry is kind.[(triple10)] @1: Anne is cold.[(((triple2) -> rule2))] @2: Anne is round.[(((((triple2) -> rule2) triple1) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple3
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
((triple10) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Anne is cold.
("Anne" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2