Anne is furry. Anne is kind. Anne is rough. Anne is round. Anne is not young. Bob is blue. Bob is young. Erin is not big. Erin is not blue. Erin is not furry. Erin is not kind. Erin is not rough. Erin is round. Erin is young. Harry is young. Furry people are round. If Bob is furry then Bob is not big. If Anne is round then Anne is furry. If someone is blue then they are big. If someone is blue and furry then they are young. If someone is young and not round then they are blue.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is young.
("Harry" "is" "young" "+")
Furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If Bob is furry then Bob is not big.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "big" "-"))
If Anne is round then Anne is furry.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "furry" "+"))
If someone is blue then they are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and furry then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
If someone is young and not round then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "blue" "+"))
Erin is young.
True
1
proof
[(triple14)]
("Erin" "is" "young" "+")
triple14
Anne is not furry.
False
1
inv-proof
[(triple1 OR ((triple4) -> rule3))]
("Anne" "is" "furry" "-")
triple1
((triple4) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is big.
True
2
proof
[(((triple6) -> rule4))]
("Bob" "is" "big" "+")
((triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple6) -> rule4))]
("Bob" "is" "big" "-")
((triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "blue" "-")
Anne is blue.
Unknown
rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "blue" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Anne is furry.[(triple1 OR ((triple4) -> rule3))] Anne is kind.[(triple2)] Anne is not young.[(triple5)] Anne is rough.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule1))] Bob is blue.[(triple6)] Bob is young.[(triple7)] Erin is not big.[(triple8)] Erin is not blue.[(triple9)] Erin is not furry.[(triple10)] Erin is not kind.[(triple11)] Erin is not rough.[(triple12)] Erin is round.[(triple13)] Erin is young.[(triple14)] Harry is young.[(triple15)] @1: Bob is big.[(((triple6) -> rule4))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple4) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Erin is not big.
("Erin" "is" "big" "-")
triple8
Erin is not blue.
("Erin" "is" "blue" "-")
triple9
Erin is not furry.
("Erin" "is" "furry" "-")
triple10
Erin is not kind.
("Erin" "is" "kind" "-")
triple11
Erin is not rough.
("Erin" "is" "rough" "-")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
Erin is young.
("Erin" "is" "young" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Bob is big.
("Bob" "is" "big" "+")
((triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1