Charlie is a man who is both round and rough. Dave, who is always nice and kind, is a young kid who is feeling rough and blue today. Fred looks red to most people, with blue features. Even though he's young and green, Gary is rough. This person is nice and young, also round, which makes them cold. Most young, green people are kind and because of this they are round. Young and rough people tend to be green too. A person with big hair and rough lips is certainly young and jaded. Big people that have a rough demeanor usually feel blue. Ifa blue and green colored person is rough then they must be big shaped.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Gary is green.
True
1
proof
[(triple12 OR ((triple10 triple11) -> rule3))]
("Gary" "is" "green" "+")
triple12
((triple10 triple11) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Fred is not blue.
False
1
inv-proof
[(triple9)]
("Fred" "is" "blue" "-")
triple9
Dave is green.
True
3
proof
[(((triple3 triple4) -> rule3))]
("Dave" "is" "green" "+")
((triple3 triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple3 triple4) -> rule3))]
("Dave" "is" "green" "-")
((triple3 triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
True
6
proof
[(((((triple3 triple4) -> rule3) triple3 triple6) -> rule2))]
("Dave" "is" "round" "+")
((((triple3 triple4) -> (rule3 % int2)) triple3 triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not big.
False
6
inv-proof
[(((triple7 ((triple3 triple4) -> rule3) triple4) -> rule6))]
("Dave" "is" "big" "-")
((triple7 ((triple3 triple4) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
True
9
proof
[(((triple3 triple5 ((((triple3 triple4) -> rule3) triple3 triple6) -> rule2)) -> rule1))]
("Dave" "is" "cold" "+")
((triple3 triple5 ((((triple3 triple4) -> (rule3 % int3)) triple3 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not cold.
False
9
inv-proof
[(((triple3 triple5 ((((triple3 triple4) -> rule3) triple3 triple6) -> rule2)) -> rule1))]
("Dave" "is" "cold" "-")
((triple3 triple5 ((((triple3 triple4) -> (rule3 % int3)) triple3 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "young" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Charlie is green.
Unknown
rconc
[@3: Charlie is green.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule6 <- FAIL)]]
("Charlie" "is" "green" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Charlie is rough.[(triple2)] Charlie is round.[(triple1)] Dave is blue.[(triple7)] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Dave is rough.[(triple4)] Dave is young.[(triple3)] Fred is blue.[(triple9)] Fred is red.[(triple8)] Gary is green.[(triple12 OR ((triple10 triple11) -> rule3))] Gary is rough.[(triple11)] Gary is young.[(triple10)] @1: Dave is green.[(((triple3 triple4) -> rule3))] @2: Dave is big.[(((triple7 ((triple3 triple4) -> rule3) triple4) -> rule6))] Dave is round.[(((((triple3 triple4) -> rule3) triple3 triple6) -> rule2))] @3: Dave is cold.[(((triple3 triple5 ((((triple3 triple4) -> rule3) triple3 triple6) -> rule2)) -> rule1))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple12
((triple10 triple11) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
((triple3 triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple7 ((triple3 triple4) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple3 triple4) -> (rule3 % int2)) triple3 triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple3 triple5 ((((triple3 triple4) -> (rule3 % int3)) triple3 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Charlie is a man who is both round and rough.
Dave, who is always nice and kind, is a young kid who is feeling rough and blue today.
Fred looks red to most people, with blue features.
Even though he's young and green, Gary is rough.
This person is nice and young, also round, which makes them cold.
Most young, green people are kind and because of this they are round.
Young and rough people tend to be green too.
A person with big hair and rough lips is certainly young and jaded.
Big people that have a rough demeanor usually feel blue.
Ifa blue and green colored person is rough then they must be big shaped.