Anne is cold. Anne is green. Anne is red. Dave is cold. Dave is green. Dave is white. Dave is young. Erin is big. Erin is red. Erin is white. Harry is cold. Harry is white. Cold, young things are furry. Green, cold things are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is white.
("Harry" "is" "white" "+")
Cold, young things are furry.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Green, cold things are young.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Harry is white.
True
1
proof
[(triple12)]
("Harry" "is" "white" "+")
triple12
Erin is not white.
False
1
inv-proof
[(triple10)]
("Erin" "is" "white" "-")
triple10
Dave is furry.
True
3
proof
[(((triple4 triple7) -> rule1) OR ((triple4 ((triple5 triple4) -> rule2)) -> rule1))]
("Dave" "is" "furry" "+")
((triple4 triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple4 ((triple5 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not furry.
False
3
inv-proof
[(((triple4 triple7) -> rule1) OR ((triple4 ((triple5 triple4) -> rule2)) -> rule1))]
("Dave" "is" "furry" "-")
((triple4 triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple4 ((triple5 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Anne is furry.
True
5
proof
[(((triple1 ((triple2 triple1) -> rule2)) -> rule1))]
("Anne" "is" "furry" "+")
((triple1 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not furry.
False
5
inv-proof
[(((triple1 ((triple2 triple1) -> rule2)) -> rule1))]
("Anne" "is" "furry" "-")
((triple1 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Harry is not furry.
Unknown
inv-rconc
[@2: Harry is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "furry" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "+")
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple5 triple4) -> rule2))] Erin is big.[(triple8)] Erin is red.[(triple9)] Erin is white.[(triple10)] Harry is cold.[(triple11)] Harry is white.[(triple12)] @1: Anne is young.[(((triple2 triple1) -> rule2))] Dave is furry.[(((triple4 triple7) -> rule1) OR ((triple4 ((triple5 triple4) -> rule2)) -> rule1))] @2: Anne is furry.[(((triple1 ((triple2 triple1) -> rule2)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
((triple5 triple4) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Anne is young.
("Anne" "is" "young" "+")
((triple2 triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple4 triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple4 ((triple5 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
((triple1 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2