Bob who is considered nice was feeling rather rough today. In the snow sits Charlie, crying from being cold. Fred is young and green, so although he is rough and blue with sadness, he'll grow out of it. They always call him rough Gary. A person who is described as round and rough is usually kind. Cold, red people are generally kind and big. Someone who is young and nice is often round. A green person is going to be rough. Young, round people seem to be big in our experience. Whenever you see Pete you run into a young man rough, which means he will be nice.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Fred is blue.
True
1
proof
[(triple7)]
("Fred" "is" "blue" "+")
triple7
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Fred is nice.
True
3
proof
[(((triple4 triple5) -> rule6) OR ((triple4 ((triple6) -> rule4)) -> rule6))]
("Fred" "is" "nice" "+")
((triple4 triple5) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((triple4 ((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not nice.
False
3
inv-proof
[(((triple4 triple5) -> rule6) OR ((triple4 ((triple6) -> rule4)) -> rule6))]
("Fred" "is" "nice" "-")
((triple4 triple5) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((triple4 ((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
True
5
proof
[(((triple4 ((triple4 triple5) -> rule6)) -> rule3) OR ((triple4 ((triple4 ((triple6) -> rule4)) -> rule6)) -> rule3))]
("Fred" "is" "round" "+")
((triple4 ((triple4 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((triple4 ((triple4 ((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not round.
False
5
inv-proof
[(((triple4 ((triple4 triple5) -> rule6)) -> rule3) OR ((triple4 ((triple4 ((triple6) -> rule4)) -> rule6)) -> rule3))]
("Fred" "is" "round" "-")
((triple4 ((triple4 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((triple4 ((triple4 ((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is big.
True
7
proof
[(((triple4 ((triple4 ((triple4 triple5) -> rule6)) -> rule3)) -> rule5) OR ((triple4 ((triple4 ((triple4 ((triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5))]
("Fred" "is" "big" "+")
((triple4 ((triple4 ((triple4 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((triple4 ((triple4 ((triple4 ((triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is not big.
False
7
inv-proof
[(((triple4 ((triple4 ((triple4 triple5) -> rule6)) -> rule3)) -> rule5) OR ((triple4 ((triple4 ((triple4 ((triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5))]
("Fred" "is" "big" "-")
((triple4 ((triple4 ((triple4 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((triple4 ((triple4 ((triple4 ((triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "kind" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is nice.[(triple2)] Bob is rough.[(triple1)] Charlie is cold.[(triple3)] Fred is blue.[(triple7)] Fred is green.[(triple6)] Fred is rough.[(triple5 OR ((triple6) -> rule4))] Fred is young.[(triple4)] Gary is rough.[(triple8)] @1: Fred is nice.[(((triple4 triple5) -> rule6) OR ((triple4 ((triple6) -> rule4)) -> rule6))] @2: Fred is round.[(((triple4 ((triple4 triple5) -> rule6)) -> rule3) OR ((triple4 ((triple4 ((triple6) -> rule4)) -> rule6)) -> rule3))] @3: Fred is big.[(((triple4 ((triple4 ((triple4 triple5) -> rule6)) -> rule3)) -> rule5) OR ((triple4 ((triple4 ((triple4 ((triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5))] Fred is kind.[(((((triple4 ((triple4 triple5) -> rule6)) -> rule3) triple5) -> rule1) OR ((((triple4 ((triple4 triple5) -> rule6)) -> rule3) ((triple6) -> rule4)) -> rule1) OR ((((triple4 ((triple4 ((triple6) -> rule4)) -> rule6)) -> rule3) triple5) -> rule1) OR ((((triple4 ((triple4 ((triple6) -> rule4)) -> rule6)) -> rule3) ((triple6) -> rule4)) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
((triple6) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
((triple4 triple5) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((triple4 ((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple4 ((triple4 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((triple4 ((triple4 ((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
((triple4 ((triple4 ((triple4 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((triple4 ((triple4 ((triple4 ((triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is kind.
("Fred" "is" "kind" "+")
((((triple4 ((triple4 triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((triple4 ((triple4 triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
((((triple4 ((triple4 ((triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((triple4 ((triple4 ((triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple6) -> (rule4 % int4))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Bob who is considered nice was feeling rather rough today.
In the snow sits Charlie, crying from being cold.
Fred is young and green, so although he is rough and blue with sadness, he'll grow out of it.
They always call him rough Gary.
A person who is described as round and rough is usually kind.
Cold, red people are generally kind and big.
Someone who is young and nice is often round.
A green person is going to be rough.
Young, round people seem to be big in our experience.
Whenever you see Pete you run into a young man rough, which means he will be nice.