Bob is a kind and red colored guy. Nice, but round, Charlie has been said to be cold. Dave is too round for someone so young. Also, he is sometimes red and sometimes green. Fred is nice and kind, but a little rough. A green and blue colored person who is young will certainly be big. If someone is cold and young, you'll see that they are kind. A person that is both green and red tends to be cold as well. Being a young, round and kind individual means that you are also a blue individual. A big and blue colored person is also certainly very kind. A human being described as rough, nice and round will also fit the description of being cold. A person who is very round is nice but also quite rough.
If someone is green and young and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
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 nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Fred is nice.
True
1
proof
[(triple11)]
("Fred" "is" "nice" "+")
triple11
Fred is not rough.
False
1
inv-proof
[(triple10)]
("Fred" "is" "rough" "-")
triple10
Dave is cold.
True
3
proof
[(((triple9 triple8) -> rule3))]
("Dave" "is" "cold" "+")
((triple9 triple8) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple9 triple8) -> rule3))]
("Dave" "is" "cold" "-")
((triple9 triple8) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
True
5
proof
[(((((triple9 triple8) -> rule3) triple6) -> rule2))]
("Dave" "is" "kind" "+")
((((triple9 triple8) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not kind.
False
5
inv-proof
[(((((triple9 triple8) -> rule3) triple6) -> rule2))]
("Dave" "is" "kind" "-")
((((triple9 triple8) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
True
8
proof
[(((triple6 triple7 ((((triple9 triple8) -> rule3) triple6) -> rule2)) -> rule4))]
("Dave" "is" "blue" "+")
((triple6 triple7 ((((triple9 triple8) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not blue.
False
8
inv-proof
[(((triple6 triple7 ((((triple9 triple8) -> rule3) triple6) -> rule2)) -> rule4))]
("Dave" "is" "blue" "-")
((triple6 triple7 ((((triple9 triple8) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
True
11
proof
[(((triple9 triple6 ((triple6 triple7 ((((triple9 triple8) -> rule3) triple6) -> rule2)) -> rule4)) -> rule1))]
("Dave" "is" "big" "+")
((triple9 triple6 ((triple6 triple7 ((((triple9 triple8) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is not big.
False
11
inv-proof
[(((triple9 triple6 ((triple6 triple7 ((((triple9 triple8) -> rule3) triple6) -> rule2)) -> rule4)) -> rule1))]
("Dave" "is" "big" "-")
((triple9 triple6 ((triple6 triple7 ((((triple9 triple8) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "rough" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "cold" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is cold.[(triple5 OR ((((triple3 triple4) -> rule7) triple3 triple4) -> rule6))] Charlie is nice.[(triple4)] Charlie is round.[(triple3)] Dave is green.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7)] Dave is young.[(triple6)] Fred is kind.[(triple12)] Fred is nice.[(triple11)] Fred is rough.[(triple10)] @1: Charlie is rough.[(((triple3 triple4) -> rule7))] Dave is cold.[(((triple9 triple8) -> rule3))] @2: Dave is kind.[(((((triple9 triple8) -> rule3) triple6) -> rule2))] @3: Dave is blue.[(((triple6 triple7 ((((triple9 triple8) -> rule3) triple6) -> rule2)) -> rule4))] @4: Dave is big.[(((triple9 triple6 ((triple6 triple7 ((((triple9 triple8) -> rule3) triple6) -> rule2)) -> rule4)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
((((triple3 triple4) -> (rule7 % int2)) triple3 triple4) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Fred is rough.
("Fred" "is" "rough" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3 triple4) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple9 triple8) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple9 triple8) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple6 triple7 ((((triple9 triple8) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
((triple9 triple6 ((triple6 triple7 ((((triple9 triple8) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Bob is a kind and red colored guy.
Nice, but round, Charlie has been said to be cold.
Dave is too round for someone so young; Also, he is sometimes red and sometimes green.
Fred is nice and kind, but a little rough.
A green and blue colored person who is young will certainly be big.
If someone is cold and young, you'll see that they are kind.
A person that is both green and red tends to be cold as well.
Being a young, round and kind individual means that you are also a blue individual.
A big and blue colored person is also certainly very kind.
A human being described as rough, nice and round will also fit the description of being cold.
A person who is very round is nice but also quite rough.