Bob is cold. Bob is furry. Bob is quiet. Bob is round. Bob is young. Dave is cold. Dave is furry. Dave is green. Dave is nice. Gary is cold. Gary is quiet. Gary is young. Harry is furry. Harry is nice. Harry is quiet. Harry is young. All round people are green. If someone is quiet and young then they are round.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
All round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is quiet and young then they are round.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Gary is cold.
True
1
proof
[(triple10)]
("Gary" "is" "cold" "+")
triple10
Dave is not furry.
False
1
inv-proof
[(triple7)]
("Dave" "is" "furry" "-")
triple7
Harry is round.
True
3
proof
[(((triple15 triple16) -> rule2))]
("Harry" "is" "round" "+")
((triple15 triple16) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple11 triple12) -> rule2))]
("Gary" "is" "round" "-")
((triple11 triple12) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4 OR ((triple3 triple5) -> rule2))] Bob is young.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9)] Gary is cold.[(triple10)] Gary is quiet.[(triple11)] Gary is young.[(triple12)] Harry is furry.[(triple13)] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] Harry is young.[(triple16)] @1: Bob is green.[(((triple4) -> rule1) OR ((((triple3 triple5) -> rule2)) -> rule1))] Gary is round.[(((triple11 triple12) -> rule2))] Harry is round.[(((triple15 triple16) -> rule2))] @2: Gary is green.[(((((triple11 triple12) -> rule2)) -> rule1))] Harry is green.[(((((triple15 triple16) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
((triple3 triple5) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Bob is green.
("Bob" "is" "green" "+")
((triple4) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple3 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple11 triple12) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple15 triple16) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple11 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple15 triple16) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2