Bob has a round face and is very nice. Although Dave is seen as nice and round, his days of playing football have made him quite rough. Young Gary is wearing green pants. Harry always goes out of his way to show that he is kind to people. A round person who is cold is big. If people are cold they are often red. Often, when you meet a rough person with red skin, you'll see that they are young too. A kind, young person will be rough textured. People who are blue and cold are red. A human being described as rough, nice and round will also fit the description of being cold. Somebody having round, cold and kind traits is also sure to be young.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is cold and round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is young and kind then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and round and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and kind and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Gary is young.
True
1
proof
[(triple6)]
("Gary" "is" "young" "+")
triple6
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Dave is cold.
True
4
proof
[(((triple4 triple3 triple5) -> rule6))]
("Dave" "is" "cold" "+")
((triple4 triple3 triple5) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
4
inv-proof
[(((triple4 triple3 triple5) -> rule6))]
("Dave" "is" "cold" "-")
((triple4 triple3 triple5) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
True
5
proof
[(((((triple4 triple3 triple5) -> rule6)) -> rule2))]
("Dave" "is" "red" "+")
((((triple4 triple3 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not red.
False
5
inv-proof
[(((((triple4 triple3 triple5) -> rule6)) -> rule2))]
("Dave" "is" "red" "-")
((((triple4 triple3 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
True
7
proof
[(((triple4 ((((triple4 triple3 triple5) -> rule6)) -> rule2)) -> rule3))]
("Dave" "is" "young" "+")
((triple4 ((((triple4 triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not young.
False
7
inv-proof
[(((triple4 ((((triple4 triple3 triple5) -> rule6)) -> rule2)) -> rule3))]
("Dave" "is" "young" "-")
((triple4 ((((triple4 triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is red.
Unknown
rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Harry" "is" "red" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Bob is nice.[(triple2)] Bob is round.[(triple1)] Dave is nice.[(triple5)] Dave is rough.[(triple4)] Dave is round.[(triple3)] Gary is green.[(triple7)] Gary is young.[(triple6)] Harry is kind.[(triple8)] @1: Dave is cold.[(((triple4 triple3 triple5) -> rule6))] @2: Dave is big.[(((((triple4 triple3 triple5) -> rule6) triple3) -> rule1))] Dave is red.[(((((triple4 triple3 triple5) -> rule6)) -> rule2))] @3: Dave is young.[(((triple4 ((((triple4 triple3 triple5) -> rule6)) -> rule2)) -> rule3))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 triple3 triple5) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple4 triple3 triple5) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple4 triple3 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple4 ((((triple4 triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob has a round face and is very nice.
Although Dave is seen as nice and round, his days of playing football have made him quite rough.
Young Gary is wearing green pants.
Harry always goes out of his way to show that he is kind to people.
A round person who is cold is big.
If people are cold they are often red.
Often, when you meet a rough person with red skin, you'll see that they are young too.
A kind, young person will be rough textured.
People who are blue and cold are red.
A human being described as rough, nice and round will also fit the description of being cold.
Somebody having round, cold and kind traits is also sure to be young.