That man standing next to you with a big round body goes by the name of Bob. Fred fits the description of someone who is rough, red and blue. Gary always goes out of his way to show that he is kind to people. Harry is nice and kind despite the appearance of his cold, red skin. Big people that are cold will show you how rough they actually are. Any person who is blue and round, if they are kind at the same time, will be young. Red people feel blue about it. Blue, red and nice people are always big, too.
Bob is round.
("Bob" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Harry is nice.
True
1
proof
[(triple8)]
("Harry" "is" "nice" "+")
triple8
Harry is not red.
False
1
inv-proof
[(triple7)]
("Harry" "is" "red" "-")
triple7
Harry is blue.
True
2
proof
[(((triple7) -> rule3))]
("Harry" "is" "blue" "+")
((triple7) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
2
inv-proof
[(((triple7) -> rule3))]
("Harry" "is" "blue" "-")
((triple7) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
True
5
proof
[(((triple8 ((triple7) -> rule3) triple7) -> rule4))]
("Harry" "is" "big" "+")
((triple8 ((triple7) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not big.
False
5
inv-proof
[(((triple8 ((triple7) -> rule3) triple7) -> rule4))]
("Harry" "is" "big" "-")
((triple8 ((triple7) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
True
7
proof
[(((triple10 ((triple8 ((triple7) -> rule3) triple7) -> rule4)) -> rule1))]
("Harry" "is" "rough" "+")
((triple10 ((triple8 ((triple7) -> (rule3 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not rough.
False
7
inv-proof
[(((triple10 ((triple8 ((triple7) -> rule3) triple7) -> rule4)) -> rule1))]
("Harry" "is" "rough" "-")
((triple10 ((triple8 ((triple7) -> (rule3 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Fred is blue.[(triple5 OR ((triple4) -> rule3))] Fred is red.[(triple4)] Fred is rough.[(triple3)] Gary is kind.[(triple6)] Harry is cold.[(triple10)] Harry is kind.[(triple9)] Harry is nice.[(triple8)] Harry is red.[(triple7)] @1: Harry is blue.[(((triple7) -> rule3))] @2: Harry is big.[(((triple8 ((triple7) -> rule3) triple7) -> rule4))] @3: Harry is rough.[(((triple10 ((triple8 ((triple7) -> rule3) triple7) -> rule4)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple5
((triple4) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
((triple7) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple8 ((triple7) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 ((triple8 ((triple7) -> (rule3 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
That man standing next to you with a big round body goes by the name of Bob.
Fred fits the description of someone who is rough, red and blue.
Gary always goes out of his way to show that he is kind to people.
Harry is nice and kind despite the appearance of his cold, red skin.
Big people that are cold will show you how rough they actually are.
Any person who is blue and round, if they are kind at the same time, will be young.
Red people feel blue about it.
Blue, red and nice people are always big, too.