Bob is big. Bob is nice. Bob is quiet. Charlie is not red. Charlie is white. Charlie is young. Gary is big. Gary is red. Harry is furry. Harry is not quiet. Harry is red. Harry is white. If someone is quiet then they are young. Quiet people are not white. Young, nice people are big. Young, white people are nice. If Harry is white then Harry is furry. If Gary is quiet and Gary is not young then Gary is red.
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Quiet people are not white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "-"))
Young, nice people are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Young, white people are nice.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If Harry is white then Harry is furry.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "furry" "+"))
If Gary is quiet and Gary is not young then Gary is red.
((("Gary" "is" "quiet" "+") ("Gary" "is" "young" "~")) -> ("Gary" "is" "red" "+"))
Charlie is white.
True
1
proof
[(triple5)]
("Charlie" "is" "white" "+")
triple5
Harry is not furry.
False
1
inv-proof
[(triple9 OR ((triple12) -> rule5))]
("Harry" "is" "furry" "-")
triple9
((triple12) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is big.[(triple1 OR ((((triple3) -> rule1) triple2) -> rule3))] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Charlie is not red.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Gary is big.[(triple7)] Gary is red.[(triple8)] Harry is furry.[(triple9 OR ((triple12) -> rule5))] Harry is not quiet.[(triple10)] Harry is red.[(triple11)] Harry is white.[(triple12)] @1: Bob is not white.[(((triple3) -> rule2))] Bob is young.[(((triple3) -> rule1))] Charlie is nice.[(((triple6 triple5) -> rule4))] @2: Charlie is big.[(((triple6 ((triple6 triple5) -> rule4)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((((triple3) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Charlie is not red.
("Charlie" "is" "red" "-")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
((triple12) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Bob is not white.
("Bob" "is" "white" "-")
((triple3) -> (rule2 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple6 triple5) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple6 ((triple6 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2