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