Fred vowed to always be rough, cold, blue, and big as possible. Gary is big and rough. Harry loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. A person who is cold but red, and big in size is young for sure. It is true that kind people who have become cold and blue and survived are necessarily big. Big, blue people are red. If someone seems young, kind, and nice, expect them to be quite round. I believe that red, cold, rough people are likely to be green. Whenever you see Pete you run into a young man rough, which means he will be nice. Anyone that's described as young, kind and blue can be said to be cold, too.
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is young and kind and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Fred is blue.
True
1
proof
[(triple3)]
("Fred" "is" "blue" "+")
triple3
Fred is not cold.
False
1
inv-proof
[(triple2)]
("Fred" "is" "cold" "-")
triple2
Fred is red.
True
3
proof
[(((triple3 triple4) -> rule3))]
("Fred" "is" "red" "+")
((triple3 triple4) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not red.
False
3
inv-proof
[(((triple3 triple4) -> rule3))]
("Fred" "is" "red" "-")
((triple3 triple4) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
True
6
proof
[(((((triple3 triple4) -> rule3) triple4 triple2) -> rule1))]
("Fred" "is" "young" "+")
((((triple3 triple4) -> (rule3 % int2)) triple4 triple2) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not young.
False
6
inv-proof
[(((((triple3 triple4) -> rule3) triple4 triple2) -> rule1))]
("Fred" "is" "young" "-")
((((triple3 triple4) -> (rule3 % int2)) triple4 triple2) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
True
8
proof
[(((((((triple3 triple4) -> rule3) triple4 triple2) -> rule1) triple1) -> rule6))]
("Fred" "is" "nice" "+")
((((((triple3 triple4) -> (rule3 % int3)) triple4 triple2) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not nice.
False
8
inv-proof
[(((((((triple3 triple4) -> rule3) triple4 triple2) -> rule1) triple1) -> rule6))]
("Fred" "is" "nice" "-")
((((((triple3 triple4) -> (rule3 % int3)) triple4 triple2) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Fred is big.[(triple4)] Fred is blue.[(triple3)] Fred is cold.[(triple2)] Fred is rough.[(triple1)] Gary is big.[(triple6)] Gary is rough.[(triple5)] Harry is cold.[(triple9)] Harry is rough.[(triple8)] Harry is round.[(triple7)] @1: Fred is red.[(((triple3 triple4) -> rule3))] @2: Fred is green.[(((triple1 ((triple3 triple4) -> rule3) triple2) -> rule5))] Fred is young.[(((((triple3 triple4) -> rule3) triple4 triple2) -> rule1))] @3: Fred is nice.[(((((((triple3 triple4) -> rule3) triple4 triple2) -> rule1) triple1) -> rule6))]
Fred is big.
("Fred" "is" "big" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple3
Fred is cold.
("Fred" "is" "cold" "+")
triple2
Fred is rough.
("Fred" "is" "rough" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
((triple3 triple4) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple1 ((triple3 triple4) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((triple3 triple4) -> (rule3 % int2)) triple4 triple2) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((((triple3 triple4) -> (rule3 % int3)) triple4 triple2) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred vowed to always be rough, cold, blue, and big as possible.
Gary is big and rough.
Harry loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
A person who is cold but red, and big in size is young for sure.
It is true that kind people who have become cold and blue and survived are necessarily big.
Big, blue people are red.
If someone seems young, kind, and nice, expect them to be quite round.
I believe that red, cold, rough people are likely to be green.
Whenever you see Pete you run into a young man rough, which means he will be nice.
Anyone that's described as young, kind and blue can be said to be cold, too.