Anne is furry. Bob is young. Dave is big. Dave is blue. Dave is not green. Dave is white. Fiona is green. Blue, furry people are white. Furry people are green. If someone is furry and not young then they are blue. If someone is young then they are blue. If someone is young then they are not quiet. If someone is white and not blue then they are big.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is white.
("Dave" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Blue, furry people are white.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is furry and not young then they are blue.
((("someone" "is" "furry" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "blue" "+"))
If someone is young then they are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they are not quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "-"))
If someone is white and not blue then they are big.
((("someone" "is" "white" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "+"))
Bob is young.
True
1
proof
[(triple2)]
("Bob" "is" "young" "+")
triple2
Fiona is not green.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "green" "-")
triple7
Bob is blue.
True
2
proof
[(((triple2) -> rule4))]
("Bob" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
False
2
inv-proof
[(((triple2) -> rule5))]
("Bob" "is" "quiet" "+")
((triple2) -> (rule5 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "big" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is furry.[(triple1)] Bob is young.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is not green.[(triple5)] Dave is white.[(triple6)] Fiona is green.[(triple7)] @1: Anne is green.[(((triple1) -> rule2))] Bob is blue.[(((triple2) -> rule4))] Bob is not quiet.[(((triple2) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is not green.
("Dave" "is" "green" "-")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not quiet.
("Bob" "is" "quiet" "-")
((triple2) -> (rule5 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1