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