Alan is a man who is both round and rough. Bob is round shaped and green colored. Nice, but round, Dave has been said to be cold. Eric is young, he is also red and green. Big people who are red in color are often nice. Round green people usually feel blue. A green person that is cold is often considered to be red. Looking blue can be a sign that someone is cold. If a person is quite big and also round then they are certainly rough too. People who are cold and and red are also young and kind.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Alan is rough.
True
1
proof
[(triple2)]
("Alan" "is" "rough" "+")
triple2
Bob is not round.
False
1
inv-proof
[(triple3)]
("Bob" "is" "round" "-")
triple3
Bob is blue.
True
3
proof
[(((triple3 triple4) -> rule2))]
("Bob" "is" "blue" "+")
((triple3 triple4) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple3 triple4) -> rule2))]
("Bob" "is" "blue" "-")
((triple3 triple4) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
True
4
proof
[(((((triple3 triple4) -> rule2)) -> rule4))]
("Bob" "is" "cold" "+")
((((triple3 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not cold.
False
4
inv-proof
[(((((triple3 triple4) -> rule2)) -> rule4))]
("Bob" "is" "cold" "-")
((((triple3 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
True
6
proof
[(((triple4 ((((triple3 triple4) -> rule2)) -> rule4)) -> rule3))]
("Bob" "is" "red" "+")
((triple4 ((((triple3 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not red.
False
6
inv-proof
[(((triple4 ((((triple3 triple4) -> rule2)) -> rule4)) -> rule3))]
("Bob" "is" "red" "-")
((triple4 ((((triple3 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "kind" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is green.[(triple4)] Bob is round.[(triple3)] Dave is cold.[(triple7)] Dave is nice.[(triple6)] Dave is round.[(triple5)] Eric is green.[(triple10)] Eric is red.[(triple9)] Eric is young.[(triple8)] @1: Bob is blue.[(((triple3 triple4) -> rule2))] @2: Bob is cold.[(((((triple3 triple4) -> rule2)) -> rule4))] @3: Bob is red.[(((triple4 ((((triple3 triple4) -> rule2)) -> rule4)) -> rule3))]
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
triple8
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 triple4) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple3 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple4 ((((triple3 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Alan is a man who is both round and rough.
Bob is round shaped and green colored.
Nice, but round, Dave has been said to be cold.
Eric is young, he is also red and green.
Big people who are red in color are often nice.
Round green people usually feel blue.
A green person that is cold is often considered to be red.
Looking blue can be a sign that someone is cold.
If a person is quite big and also round then they are certainly rough too.
People who are cold and and red are also young and kind.