Gary is big. Gary is cold. Gary is nice. Gary is quiet. Gary is young. Harry is furry. Harry is nice. If someone is cold then they are quiet. If someone is quiet and big then they are furry. If Harry is round then Harry is big. All round people are furry. All young people are cold. All furry, round people are cold.
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is cold then they are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet and big then they are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If Harry is round then Harry is big.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "big" "+"))
All round people are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
All young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All furry, round people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Gary is nice.
True
1
proof
[(triple3)]
("Gary" "is" "nice" "+")
triple3
Gary is not young.
False
1
inv-proof
[(triple5)]
("Gary" "is" "young" "-")
triple5
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Gary is big.[(triple1)] Gary is cold.[(triple2 OR ((triple5) -> rule5))] Gary is nice.[(triple3)] Gary is quiet.[(triple4 OR ((triple2) -> rule1) OR ((((triple5) -> rule5)) -> rule1))] Gary is young.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] @1: Gary is furry.[(((triple4 triple1) -> rule2) OR ((((triple2) -> rule1) triple1) -> rule2) OR ((((((triple5) -> rule5)) -> rule1) triple1) -> rule2))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
((triple5) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
((triple2) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
((triple4 triple1) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3