Alan looks red to most people, with blue features. To the touch Charlie has rough, cold skin. Dave is big and tends to wear red shirts. Fred is young, rough and green, but he turns blue when he is cold like anyone else. Round, blue, and green people are poften rough. Someone who is not kind, will see red and be cold, which leads them to always feel blue. Most of the people that are big and nice with green eyes, will be round. Show me someone who is cold and kind, and I'll show you how green they are. Someone can be young, big, and cold but green. Someone who is blue and cold is also big. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Dave is red.
True
1
proof
[(triple5)]
("Dave" "is" "red" "+")
triple5
Fred is not cold.
False
1
inv-proof
[(triple10)]
("Fred" "is" "cold" "-")
triple10
Fred is big.
True
3
proof
[(((triple11 triple10) -> rule6))]
("Fred" "is" "big" "+")
((triple11 triple10) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple11 triple10) -> rule6))]
("Fred" "is" "big" "-")
((triple11 triple10) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
True
6
proof
[(((triple11 triple8 ((triple11 triple10) -> rule6)) -> rule7))]
("Fred" "is" "nice" "+")
((triple11 triple8 ((triple11 triple10) -> (rule6 % int2))) -> (rule7 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not nice.
False
6
inv-proof
[(((triple11 triple8 ((triple11 triple10) -> rule6)) -> rule7))]
("Fred" "is" "nice" "-")
((triple11 triple8 ((triple11 triple10) -> (rule6 % int2))) -> (rule7 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
True
11
proof
[(((((triple11 triple10) -> rule6) ((triple11 triple8 ((triple11 triple10) -> rule6)) -> rule7) triple9) -> rule3) OR ((((triple11 triple10) -> rule6) ((triple11 triple8 ((triple11 triple10) -> rule6)) -> rule7) ((triple7 triple10 ((triple11 triple10) -> rule6)) -> rule5)) -> rule3))]
("Fred" "is" "round" "+")
((((triple11 triple10) -> (rule6 % int3)) ((triple11 triple8 ((triple11 triple10) -> (rule6 % int3))) -> (rule7 % int2)) triple9) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
((((triple11 triple10) -> (rule6 % int4)) ((triple11 triple8 ((triple11 triple10) -> (rule6 % int4))) -> (rule7 % int3)) ((triple7 triple10 ((triple11 triple10) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is not round.
False
11
inv-proof
[(((((triple11 triple10) -> rule6) ((triple11 triple8 ((triple11 triple10) -> rule6)) -> rule7) triple9) -> rule3) OR ((((triple11 triple10) -> rule6) ((triple11 triple8 ((triple11 triple10) -> rule6)) -> rule7) ((triple7 triple10 ((triple11 triple10) -> rule6)) -> rule5)) -> rule3))]
("Fred" "is" "round" "-")
((((triple11 triple10) -> (rule6 % int3)) ((triple11 triple8 ((triple11 triple10) -> (rule6 % int3))) -> (rule7 % int2)) triple9) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
((((triple11 triple10) -> (rule6 % int4)) ((triple11 triple8 ((triple11 triple10) -> (rule6 % int4))) -> (rule7 % int3)) ((triple7 triple10 ((triple11 triple10) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Dave is not round.
Unknown
inv-rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Dave" "is" "round" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "green" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is blue.[(triple2)] Alan is red.[(triple1)] Charlie is cold.[(triple4)] Charlie is rough.[(triple3)] Dave is big.[(triple6)] Dave is red.[(triple5)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is green.[(triple9 OR ((triple7 triple10 ((triple11 triple10) -> rule6)) -> rule5))] Fred is rough.[(triple8)] Fred is young.[(triple7)] @1: Fred is big.[(((triple11 triple10) -> rule6))] @2: Fred is nice.[(((triple11 triple8 ((triple11 triple10) -> rule6)) -> rule7))] @3: Fred is round.[(((((triple11 triple10) -> rule6) ((triple11 triple8 ((triple11 triple10) -> rule6)) -> rule7) triple9) -> rule3) OR ((((triple11 triple10) -> rule6) ((triple11 triple8 ((triple11 triple10) -> rule6)) -> rule7) ((triple7 triple10 ((triple11 triple10) -> rule6)) -> rule5)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
((triple7 triple10 ((triple11 triple10) -> (rule6 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Fred is big.
("Fred" "is" "big" "+")
((triple11 triple10) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple11 triple8 ((triple11 triple10) -> (rule6 % int2))) -> (rule7 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple11 triple10) -> (rule6 % int3)) ((triple11 triple8 ((triple11 triple10) -> (rule6 % int3))) -> (rule7 % int2)) triple9) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
((((triple11 triple10) -> (rule6 % int4)) ((triple11 triple8 ((triple11 triple10) -> (rule6 % int4))) -> (rule7 % int3)) ((triple7 triple10 ((triple11 triple10) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Alan looks red to most people, with blue features.
To the touch Charlie has rough, cold skin.
Dave is big and tends to wear red shirts.
Fred is young, rough and green, but he turns blue when he is cold like anyone else.
Round, blue, and green people are poften rough.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
Most of the people that are big and nice with green eyes, will be round.
Show me someone who is cold and kind, and I'll show you how green they are.
Someone can be young, big, and cold but green.
Someone who is blue and cold is also big.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.