Anne is big. Anne is nice. Anne is rough. Bob is big. Bob is nice. Bob is red. Dave is furry. Dave is nice. Dave is red. Dave is young. Fiona is cold. Fiona is young. If someone is red then they are furry. If Fiona is furry then Fiona is nice. Rough, furry people are young. If someone is young then they are cold. If Bob is young and Bob is red then Bob is cold. If someone is red and young then they are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is red then they are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is furry then Fiona is nice.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "nice" "+"))
Rough, furry people are young.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If Bob is young and Bob is red then Bob is cold.
((("Bob" "is" "young" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "cold" "+"))
If someone is red and young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Dave is red.
True
1
proof
[(triple9)]
("Dave" "is" "red" "+")
triple9
Bob is not big.
False
1
inv-proof
[(triple4)]
("Bob" "is" "big" "-")
triple4
Bob is furry.
True
2
proof
[(((triple6) -> rule1))]
("Bob" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple6) -> rule1))]
("Bob" "is" "furry" "-")
((triple6) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Anne is not cold.
Unknown
inv-rconc
[@3: Anne is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule1 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is furry.
Unknown
rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "furry" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Bob is big.[(triple4)] Bob is nice.[(triple5)] Bob is red.[(triple6)] Dave is furry.[(triple7 OR ((triple9) -> rule1))] Dave is nice.[(triple8)] Dave is red.[(triple9)] Dave is young.[(triple10)] Fiona is cold.[(triple11 OR ((triple12) -> rule4))] Fiona is young.[(triple12)] @1: Bob is furry.[(((triple6) -> rule1))] Dave is cold.[(((triple10) -> rule4))] Dave is rough.[(((triple9 triple10) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
((triple9) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
((triple12) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Bob is furry.
("Bob" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple10) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple9 triple10) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1