Charlie is big. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is young. Dave is furry. Gary is big. Gary is furry. Gary is quiet. Harry is quiet. All young people are furry. Rough, big people are quiet. Furry, big people are rough.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Rough, big people are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Furry, big people are rough.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is big.
True
1
proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Charlie is not rough.
False
1
inv-proof
[(triple4 OR ((triple2 triple1) -> rule3) OR ((((triple5) -> rule1) triple1) -> rule3))]
("Charlie" "is" "rough" "-")
triple4
((triple2 triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple5) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple5) -> rule1))] Charlie is quiet.[(triple3 OR ((triple4 triple1) -> rule2) OR ((((triple2 triple1) -> rule3) triple1) -> rule2) OR ((((((triple5) -> rule1) triple1) -> rule3) triple1) -> rule2))] Charlie is rough.[(triple4 OR ((triple2 triple1) -> rule3) OR ((((triple5) -> rule1) triple1) -> rule3))] Charlie is young.[(triple5)] Dave is furry.[(triple6)] Gary is big.[(triple7)] Gary is furry.[(triple8)] Gary is quiet.[(triple9 OR ((((triple8 triple7) -> rule3) triple7) -> rule2))] Harry is quiet.[(triple10)] @1: Gary is rough.[(((triple8 triple7) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple5) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
((triple4 triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple2 triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((triple5) -> (rule1 % int3)) triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
((triple2 triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple5) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
((((triple8 triple7) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
((triple8 triple7) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1