Anne is blue. Anne is cold. Anne is kind. Anne is round. Anne is young. Charlie is not blue. Charlie is cold. Charlie is round. Charlie is white. Harry is blue. Harry is cold. Harry is young. If someone is young and cold then they are furry. If someone is furry then they are round. If Anne is young and Anne is round then Anne is kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is young and cold then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry then they are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If Anne is young and Anne is round then Anne is kind.
((("Anne" "is" "young" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "kind" "+"))
Anne is young.
True
1
proof
[(triple5)]
("Anne" "is" "young" "+")
triple5
Harry is not young.
False
1
inv-proof
[(triple12)]
("Harry" "is" "young" "-")
triple12
Harry is furry.
True
3
proof
[(((triple12 triple11) -> rule1))]
("Harry" "is" "furry" "+")
((triple12 triple11) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Anne is not furry.
False
3
inv-proof
[(((triple5 triple2) -> rule1))]
("Anne" "is" "furry" "-")
((triple5 triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Harry is round.
True
4
proof
[(((((triple12 triple11) -> rule1)) -> rule2))]
("Harry" "is" "round" "+")
((((triple12 triple11) -> (rule1 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is not round.
False
4
inv-proof
[(((((triple12 triple11) -> rule1)) -> rule2))]
("Harry" "is" "round" "-")
((((triple12 triple11) -> (rule1 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple5 triple4) -> rule3) OR ((triple5 ((((triple5 triple2) -> rule1)) -> rule2)) -> rule3))] Anne is round.[(triple4 OR ((((triple5 triple2) -> rule1)) -> rule2))] Anne is young.[(triple5)] Charlie is cold.[(triple7)] Charlie is not blue.[(triple6)] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is young.[(triple12)] @1: Anne is furry.[(((triple5 triple2) -> rule1))] Harry is furry.[(((triple12 triple11) -> rule1))] @2: Harry is round.[(((((triple12 triple11) -> rule1)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple5 triple4) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple5 ((((triple5 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
triple4
((((triple5 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple5 triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple12 triple11) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple12 triple11) -> (rule1 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2