Bob associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Dave looks red to most people, with blue features. Gary fits the description of someone who is rough, red and blue. Someone who is round in shape and green in color is usually cold. Big, young people feel cold all the time. Blue kind people are almost always nice to others. A nice person who is always seen to be wearing green clothes will be rather big in size. Blue, young and round people are usually big.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Gary is red.
True
1
proof
[(triple8)]
("Gary" "is" "red" "+")
triple8
Dave is not red.
False
1
inv-proof
[(triple5)]
("Dave" "is" "red" "-")
triple5
Bob is nice.
True
3
proof
[(((triple4 triple2) -> rule3))]
("Bob" "is" "nice" "+")
((triple4 triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple4 triple2) -> rule3))]
("Bob" "is" "nice" "-")
((triple4 triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
True
5
proof
[(((triple3 ((triple4 triple2) -> rule3)) -> rule4))]
("Bob" "is" "big" "+")
((triple3 ((triple4 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not big.
False
5
inv-proof
[(((triple3 ((triple4 triple2) -> rule3)) -> rule4))]
("Bob" "is" "big" "-")
((triple3 ((triple4 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
True
7
proof
[(((triple1 ((triple3 ((triple4 triple2) -> rule3)) -> rule4)) -> rule2))]
("Bob" "is" "cold" "+")
((triple1 ((triple3 ((triple4 triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not cold.
False
7
inv-proof
[(((triple1 ((triple3 ((triple4 triple2) -> rule3)) -> rule4)) -> rule2))]
("Bob" "is" "cold" "-")
((triple1 ((triple3 ((triple4 triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple6)] Dave is red.[(triple5)] Gary is blue.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] @1: Bob is nice.[(((triple4 triple2) -> rule3))] @2: Bob is big.[(((triple3 ((triple4 triple2) -> rule3)) -> rule4))] @3: Bob is cold.[(((triple1 ((triple3 ((triple4 triple2) -> rule3)) -> rule4)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
((triple4 triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple3 ((triple4 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 ((triple3 ((triple4 triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
Dave looks red to most people, with blue features.
Gary fits the description of someone who is rough, red and blue.
Someone who is round in shape and green in color is usually cold.
Big, young people feel cold all the time.
Blue kind people are almost always nice to others.
A nice person who is always seen to be wearing green clothes will be rather big in size.
Blue, young and round people are usually big.