Dave is someone you could describe as young, round, cold, and blue. Eric always goes out of his way to show that he is kind to people. Big Fred is cold but kind and always green. Gary looks red to most people, with blue features. A big person who also feels blue and a bit green are usually wearing red. People who are blue, cold, and round are often kind. A green, round, blue male or female will be a big male or female, too. Show me someone who is cold and kind, and I'll show you how green they are. A blue and red colored person that is young is also very cold. If a rather cold person is also kind then they are probably rough.
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and round and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Fred is cold.
True
1
proof
[(triple8)]
("Fred" "is" "cold" "+")
triple8
Fred is not big.
False
1
inv-proof
[(triple9)]
("Fred" "is" "big" "-")
triple9
Dave is kind.
True
4
proof
[(((triple4 triple3 triple2) -> rule2))]
("Dave" "is" "kind" "+")
((triple4 triple3 triple2) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple8 triple6) -> rule6))]
("Fred" "is" "rough" "-")
((triple8 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Dave is rough.
True
6
proof
[(((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule6))]
("Dave" "is" "rough" "+")
((triple3 ((triple4 triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not green.
False
6
inv-proof
[(((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4))]
("Dave" "is" "green" "-")
((triple3 ((triple4 triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
True
9
proof
[(((((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4) triple2 triple4) -> rule3))]
("Dave" "is" "big" "+")
((((triple3 ((triple4 triple3 triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple2 triple4) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not big.
False
9
inv-proof
[(((((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4) triple2 triple4) -> rule3))]
("Dave" "is" "big" "-")
((((triple3 ((triple4 triple3 triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple2 triple4) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
True
17
proof
[(((((((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4) triple2 triple4) -> rule3) triple4 ((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4)) -> rule1))]
("Dave" "is" "red" "+")
((((((triple3 ((triple4 triple3 triple2) -> (rule2 % int4))) -> (rule4 % int3)) triple2 triple4) -> (rule3 % int2)) triple4 ((triple3 ((triple4 triple3 triple2) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not red.
False
17
inv-proof
[(((((((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4) triple2 triple4) -> rule3) triple4 ((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4)) -> rule1))]
("Dave" "is" "red" "-")
((((((triple3 ((triple4 triple3 triple2) -> (rule2 % int4))) -> (rule4 % int3)) triple2 triple4) -> (rule3 % int2)) triple4 ((triple3 ((triple4 triple3 triple2) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Gary" "is" "green" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Dave is blue.[(triple4)] Dave is cold.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is kind.[(triple5)] Fred is big.[(triple9)] Fred is cold.[(triple8)] Fred is green.[(triple7 OR ((triple8 triple6) -> rule4))] Fred is kind.[(triple6)] Gary is blue.[(triple11)] Gary is red.[(triple10)] @1: Dave is kind.[(((triple4 triple3 triple2) -> rule2))] Fred is rough.[(((triple8 triple6) -> rule6))] @2: Dave is green.[(((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4))] Dave is rough.[(((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule6))] @3: Dave is big.[(((((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4) triple2 triple4) -> rule3))] @4: Dave is red.[(((((((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4) triple2 triple4) -> rule3) triple4 ((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4)) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
((triple8 triple6) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
((triple4 triple3 triple2) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple8 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple3 ((triple4 triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple3 ((triple4 triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((triple3 ((triple4 triple3 triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple2 triple4) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((((((triple3 ((triple4 triple3 triple2) -> (rule2 % int4))) -> (rule4 % int3)) triple2 triple4) -> (rule3 % int2)) triple4 ((triple3 ((triple4 triple3 triple2) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is someone you could describe as young, round, cold, and blue.
Eric always goes out of his way to show that he is kind to people.
Big Fred is cold but kind and always green.
Gary looks red to most people, with blue features.
A big person who also feels blue and a bit green are usually wearing red.
People who are blue, cold, and round are often kind.
A green, round, blue male or female will be a big male or female, too.
Show me someone who is cold and kind, and I'll show you how green they are.
A blue and red colored person that is young is also very cold.
If a rather cold person is also kind then they are probably rough.