Anne is furry. Anne is green. Anne is quiet. Anne is young. Fiona is furry. Gary is green. Gary is quiet. Gary is smart. Harry is green. Harry is rough. If someone is furry then they are green. If someone is young then they are quiet. If someone is kind and smart then they are rough. Young people are furry. All green, quiet people are furry. If Anne is green and Anne is young then Anne is quiet.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is young then they are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
If someone is kind and smart then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
All green, quiet people are furry.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Anne is green and Anne is young then Anne is quiet.
((("Anne" "is" "green" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "quiet" "+"))
Gary is quiet.
True
1
proof
[(triple7)]
("Gary" "is" "quiet" "+")
triple7
Gary is not green.
False
1
inv-proof
[(triple6)]
("Gary" "is" "green" "-")
triple6
Fiona is green.
True
2
proof
[(((triple5) -> rule1))]
("Fiona" "is" "green" "+")
((triple5) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is not furry.
False
3
inv-proof
[(((triple6 triple7) -> rule5))]
("Gary" "is" "furry" "-")
((triple6 triple7) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "rough" "-")
Harry is quiet.
Unknown
rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "quiet" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is furry.[(triple1 OR ((triple4) -> rule4) OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple4) -> rule2)) -> rule5) OR ((triple2 ((triple2 triple4) -> rule6)) -> rule5))] Anne is green.[(triple2 OR ((triple1) -> rule1) OR ((((triple4) -> rule4)) -> rule1))] Anne is quiet.[(triple3 OR ((triple4) -> rule2) OR ((triple2 triple4) -> rule6) OR ((((triple1) -> rule1) triple4) -> rule6) OR ((((((triple4) -> rule4)) -> rule1) triple4) -> rule6))] Anne is young.[(triple4)] Fiona is furry.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7)] Gary is smart.[(triple8)] Harry is green.[(triple9)] Harry is rough.[(triple10)] @1: Fiona is green.[(((triple5) -> rule1))] Gary is furry.[(((triple6 triple7) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple4) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple2 triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple2 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((triple2 ((triple2 triple4) -> (rule6 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple4) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple2 triple4) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple1) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
((triple5) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple6 triple7) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1