Bob is kind and round. Being round makes him a bit blue. Although Dave is young and nice, he is as cold as ice. Gary is red when he is rough and blue when he is kind. Harry was born only a few years ago so he is young. A human that's cold also means they are a human that is young. If you meet someone who is young and cold, then will most definitely be red. A blue and round human being will also be a green human being. If you meet somebody who is young, rough and round, you can be sure they are nice as well. Kind people,though green,are cold.
Bob is round.
("Bob" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Gary is blue.
True
1
proof
[(triple10)]
("Gary" "is" "blue" "+")
triple10
Bob is not blue.
False
1
inv-proof
[(triple3)]
("Bob" "is" "blue" "-")
triple3
Bob is green.
True
3
proof
[(((triple3 triple1) -> rule3))]
("Bob" "is" "green" "+")
((triple3 triple1) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is not red.
False
3
inv-proof
[(((triple4 triple6) -> rule2) OR ((((triple6) -> rule1) triple6) -> rule2))]
("Dave" "is" "red" "-")
((triple4 triple6) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Bob is cold.
True
5
proof
[(((triple2 ((triple3 triple1) -> rule3)) -> rule5))]
("Bob" "is" "cold" "+")
((triple2 ((triple3 triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not cold.
False
5
inv-proof
[(((triple2 ((triple3 triple1) -> rule3)) -> rule5))]
("Bob" "is" "cold" "-")
((triple2 ((triple3 triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
True
6
proof
[(((((triple2 ((triple3 triple1) -> rule3)) -> rule5)) -> rule1))]
("Bob" "is" "young" "+")
((((triple2 ((triple3 triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not young.
False
6
inv-proof
[(((((triple2 ((triple3 triple1) -> rule3)) -> rule5)) -> rule1))]
("Bob" "is" "young" "-")
((((triple2 ((triple3 triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
True
12
proof
[(((((((triple2 ((triple3 triple1) -> rule3)) -> rule5)) -> rule1) ((triple2 ((triple3 triple1) -> rule3)) -> rule5)) -> rule2))]
("Bob" "is" "red" "+")
((((((triple2 ((triple3 triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((triple2 ((triple3 triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not red.
False
12
inv-proof
[(((((((triple2 ((triple3 triple1) -> rule3)) -> rule5)) -> rule1) ((triple2 ((triple3 triple1) -> rule3)) -> rule5)) -> rule2))]
("Bob" "is" "red" "-")
((((((triple2 ((triple3 triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((triple2 ((triple3 triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Bob is blue.[(triple3)] Bob is kind.[(triple2)] Bob is round.[(triple1)] Dave is cold.[(triple6)] Dave is nice.[(triple5)] Dave is young.[(triple4 OR ((triple6) -> rule1))] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Harry is young.[(triple11)] @1: Bob is green.[(((triple3 triple1) -> rule3))] Dave is red.[(((triple4 triple6) -> rule2) OR ((((triple6) -> rule1) triple6) -> rule2))] @2: Bob is cold.[(((triple2 ((triple3 triple1) -> rule3)) -> rule5))] @3: Bob is young.[(((((triple2 ((triple3 triple1) -> rule3)) -> rule5)) -> rule1))] @4: Bob is red.[(((((((triple2 ((triple3 triple1) -> rule3)) -> rule5)) -> rule1) ((triple2 ((triple3 triple1) -> rule3)) -> rule5)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
((triple6) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple11
Bob is green.
("Bob" "is" "green" "+")
((triple3 triple1) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple4 triple6) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 ((triple3 triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple2 ((triple3 triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((((((triple2 ((triple3 triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((triple2 ((triple3 triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is kind and round; Being round makes him a bit blue.
Although Dave is young and nice, he is as cold as ice.
Gary is red when he is rough and blue when he is kind.
Harry was born only a few years ago so he is young.
A human that's cold also means they are a human that is young.
If you meet someone who is young and cold, then will most definitely be red.
A blue and round human being will also be a green human being.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Kind people,though green,are cold.