Alan is a nice and kind young man who is quite big in size. Although Bob is seen as nice and round, his days of playing football have made him quite rough. To the touch Eric has rough, cold skin. If a red and blue person is also kind to people that means they are rough as well. Green people here that are also round and nice are always rough. Find someone big, blue, and kind, and you'll see they are also quite young. Being kind and young means that if they are also blue, they are always red. Being big and kind like a gentle giant can make anyone blue. Whenever you see Pete you run into a young man rough, which means he will be nice. People who are nice and rough are looked at as kind.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Eric is cold.
True
1
proof
[(triple9)]
("Eric" "is" "cold" "+")
triple9
Bob is not round.
False
1
inv-proof
[(triple5)]
("Bob" "is" "round" "-")
triple5
Alan is blue.
True
3
proof
[(((triple4 triple3) -> rule5))]
("Alan" "is" "blue" "+")
((triple4 triple3) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
3
inv-proof
[(((triple4 triple3) -> rule5))]
("Alan" "is" "blue" "-")
((triple4 triple3) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
True
6
proof
[(((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) OR ((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4))]
("Alan" "is" "red" "+")
((((triple4 triple3) -> (rule5 % int2)) triple3 triple1) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
((((triple4 triple3) -> (rule5 % int3)) triple3 ((triple4 ((triple4 triple3) -> (rule5 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not red.
False
6
inv-proof
[(((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) OR ((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4))]
("Alan" "is" "red" "-")
((((triple4 triple3) -> (rule5 % int2)) triple3 triple1) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
((((triple4 triple3) -> (rule5 % int3)) triple3 ((triple4 ((triple4 triple3) -> (rule5 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is rough.
True
11
proof
[(((((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1) OR ((((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1))]
("Alan" "is" "rough" "+")
((((((triple4 triple3) -> (rule5 % int3)) triple3 triple1) -> (rule4 % int2)) ((triple4 triple3) -> (rule5 % int3)) triple3) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((((triple4 triple3) -> (rule5 % int4)) triple3 ((triple4 ((triple4 triple3) -> (rule5 % int4)) triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple4 triple3) -> (rule5 % int4)) triple3) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is not rough.
False
11
inv-proof
[(((((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1) OR ((((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1))]
("Alan" "is" "rough" "-")
((((((triple4 triple3) -> (rule5 % int3)) triple3 triple1) -> (rule4 % int2)) ((triple4 triple3) -> (rule5 % int3)) triple3) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((((triple4 triple3) -> (rule5 % int4)) triple3 ((triple4 ((triple4 triple3) -> (rule5 % int4)) triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple4 triple3) -> (rule5 % int4)) triple3) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Fred is nice.
Unknown
rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not kind.
Unknown
inv-rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Fred" "is" "kind" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Alan is big.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2 OR ((triple1 ((((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3) ((((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((triple1 ((((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3) ((((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1)) -> rule6))] Alan is young.[(triple1 OR ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3))] Bob is nice.[(triple7)] Bob is rough.[(triple6)] Bob is round.[(triple5)] Eric is cold.[(triple9)] Eric is rough.[(triple8)] @1: Alan is blue.[(((triple4 triple3) -> rule5))] Bob is kind.[(((triple7 triple6) -> rule7))] @2: Alan is red.[(((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) OR ((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4))] @3: Alan is rough.[(((((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1) OR ((((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
((triple1 ((((((triple4 triple3) -> (rule5 % int4)) triple3 triple1) -> (rule4 % int3)) ((triple4 triple3) -> (rule5 % int4)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((triple4 ((triple4 triple3) -> (rule5 % int5)) triple3) -> (rule3 % int4)) ((((((triple4 triple3) -> (rule5 % int5)) triple3 triple1) -> (rule4 % int3)) ((triple4 triple3) -> (rule5 % int5)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((triple1 ((((((triple4 triple3) -> (rule5 % int5)) triple3 ((triple4 ((triple4 triple3) -> (rule5 % int5)) triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((triple4 triple3) -> (rule5 % int5)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((triple4 ((triple4 triple3) -> (rule5 % int5)) triple3) -> (rule3 % int4)) ((((((triple4 triple3) -> (rule5 % int5)) triple3 ((triple4 ((triple4 triple3) -> (rule5 % int5)) triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((triple4 triple3) -> (rule5 % int5)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
Alan is young.
("Alan" "is" "young" "+")
triple1
((triple4 ((triple4 triple3) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Alan is blue.
("Alan" "is" "blue" "+")
((triple4 triple3) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple7 triple6) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((((triple4 triple3) -> (rule5 % int2)) triple3 triple1) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
((((triple4 triple3) -> (rule5 % int3)) triple3 ((triple4 ((triple4 triple3) -> (rule5 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
((((((triple4 triple3) -> (rule5 % int3)) triple3 triple1) -> (rule4 % int2)) ((triple4 triple3) -> (rule5 % int3)) triple3) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((((triple4 triple3) -> (rule5 % int4)) triple3 ((triple4 ((triple4 triple3) -> (rule5 % int4)) triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple4 triple3) -> (rule5 % int4)) triple3) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is a nice and kind young man who is quite big in size.
Although Bob is seen as nice and round, his days of playing football have made him quite rough.
To the touch Eric has rough, cold skin.
If a red and blue person is also kind to people that means they are rough as well.
Green people here that are also round and nice are always rough.
Find someone big, blue, and kind, and you'll see they are also quite young.
Being kind and young means that if they are also blue, they are always red.
Being big and kind like a gentle giant can make anyone blue.
Whenever you see Pete you run into a young man rough, which means he will be nice.
People who are nice and rough are looked at as kind.