Anne is nice. Anne is red. Bob is furry. Bob is green. Bob is kind. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is young. Harry is blue. Harry is green. Harry is red. Harry is young. Young people are red. All red people are furry.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Harry is green.
True
1
proof
[(triple14)]
("Harry" "is" "green" "+")
triple14
Erin is not kind.
False
1
inv-proof
[(triple9)]
("Erin" "is" "kind" "-")
triple9
Anne is furry.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple15) -> rule2) OR ((((triple16) -> rule1)) -> rule2))]
("Harry" "is" "furry" "-")
((triple15) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple16) -> (rule1 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Anne is nice.[(triple1)] Anne is red.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is kind.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7 OR ((triple11) -> rule2) OR ((((triple12) -> rule1)) -> rule2))] Erin is green.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is red.[(triple11 OR ((triple12) -> rule1))] Erin is young.[(triple12)] Harry is blue.[(triple13)] Harry is green.[(triple14)] Harry is red.[(triple15 OR ((triple16) -> rule1))] Harry is young.[(triple16)] @1: Anne is furry.[(((triple2) -> rule2))] Harry is furry.[(((triple15) -> rule2) OR ((((triple16) -> rule1)) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((triple11) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
((triple12) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
((triple16) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple16
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple15) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple16) -> (rule1 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2