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