Bob always goes out of his way to show that he is kind to people. Fred is young and round, he is also green. Gary is big and tends to wear red shirts. Harry is green, which is a possible explanation for why he is so nice. Someone who has a a young round face is often rough around the edges. A person who's big and kind will also be cold. Big, young people feel cold all the time. A person who is in school because of their young age with a round body and the constant desire to be nice will be feeling blue. Whenever you see Pete you run into a young man rough, which means he will be nice. Anyone who's blue is also green. A blue, rough and round person will also be a big person.
Bob is kind.
("Bob" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("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 round and young and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("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 blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Fred is green.
True
1
proof
[(triple4 OR ((((triple3 triple2 ((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule4)) -> rule6))]
("Fred" "is" "green" "+")
triple4
((((triple3 triple2 ((triple2 ((triple3 triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is not round.
False
1
inv-proof
[(triple3)]
("Fred" "is" "round" "-")
triple3
Fred is rough.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Fred" "is" "rough" "+")
((triple3 triple2) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Fred" "is" "rough" "-")
((triple3 triple2) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
True
5
proof
[(((triple2 ((triple3 triple2) -> rule1)) -> rule5))]
("Fred" "is" "nice" "+")
((triple2 ((triple3 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not nice.
False
5
inv-proof
[(((triple2 ((triple3 triple2) -> rule1)) -> rule5))]
("Fred" "is" "nice" "-")
((triple2 ((triple3 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
True
8
proof
[(((triple3 triple2 ((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule4))]
("Fred" "is" "blue" "+")
((triple3 triple2 ((triple2 ((triple3 triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not blue.
False
8
inv-proof
[(((triple3 triple2 ((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule4))]
("Fred" "is" "blue" "-")
((triple3 triple2 ((triple2 ((triple3 triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is big.
True
13
proof
[(((((triple3 triple2 ((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule4) ((triple3 triple2) -> rule1) triple3) -> rule7))]
("Fred" "is" "big" "+")
((((triple3 triple2 ((triple2 ((triple3 triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple3 triple2) -> (rule1 % int4)) triple3) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is not big.
False
13
inv-proof
[(((((triple3 triple2 ((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule4) ((triple3 triple2) -> rule1) triple3) -> rule7))]
("Fred" "is" "big" "-")
((((triple3 triple2 ((triple2 ((triple3 triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple3 triple2) -> (rule1 % int4)) triple3) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is cold.
True
15
proof
[(((triple2 ((((triple3 triple2 ((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule4) ((triple3 triple2) -> rule1) triple3) -> rule7)) -> rule3))]
("Fred" "is" "cold" "+")
((triple2 ((((triple3 triple2 ((triple2 ((triple3 triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((triple3 triple2) -> (rule1 % int5)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
Fred is not cold.
False
15
inv-proof
[(((triple2 ((((triple3 triple2 ((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule4) ((triple3 triple2) -> rule1) triple3) -> rule7)) -> rule3))]
("Fred" "is" "cold" "-")
((triple2 ((((triple3 triple2 ((triple2 ((triple3 triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((triple3 triple2) -> (rule1 % int5)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "nice" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is kind.[(triple1)] Fred is green.[(triple4 OR ((((triple3 triple2 ((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule4)) -> rule6))] Fred is round.[(triple3)] Fred is young.[(triple2)] Gary is big.[(triple6)] Gary is red.[(triple5)] Harry is green.[(triple8)] Harry is nice.[(triple7)] @1: Fred is rough.[(((triple3 triple2) -> rule1))] @2: Fred is nice.[(((triple2 ((triple3 triple2) -> rule1)) -> rule5))] @3: Fred is blue.[(((triple3 triple2 ((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule4))] @4: Fred is big.[(((((triple3 triple2 ((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule4) ((triple3 triple2) -> rule1) triple3) -> rule7))] @5: Fred is cold.[(((triple2 ((((triple3 triple2 ((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule4) ((triple3 triple2) -> rule1) triple3) -> rule7)) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple4
((((triple3 triple2 ((triple2 ((triple3 triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is round.
("Fred" "is" "round" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
((triple3 triple2) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple2 ((triple3 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple3 triple2 ((triple2 ((triple3 triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
((((triple3 triple2 ((triple2 ((triple3 triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple3 triple2) -> (rule1 % int4)) triple3) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is cold.
("Fred" "is" "cold" "+")
((triple2 ((((triple3 triple2 ((triple2 ((triple3 triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((triple3 triple2) -> (rule1 % int5)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
Bob always goes out of his way to show that he is kind to people.
Fred is young and round, he is also green.
Gary is big and tends to wear red shirts.
Harry is green, which is a possible explanation for why he is so nice.
Someone who has a a young round face is often rough around the edges.
A person who's big and kind will also be cold.
Big, young people feel cold all the time.
A person who is in school because of their young age with a round body and the constant desire to be nice will be feeling blue.
Whenever you see Pete you run into a young man rough, which means he will be nice.
Anyone who's blue is also green.
A blue, rough and round person will also be a big person.