From a certain angle Charlie is blue but he is young so maybe that will go away. Big, round Fred is also known to be nice, kind and young. To the touch Gary has rough, cold skin. If someone is blue and rough, they always see red in others. People that are big and cold are blue as well. When someone is nice and rough they are usually red. If a kind, red person is also feeling blue then he will be cold to outsiders. When somebody is round, kind and blue, you know they'll also be red. Anyone will tell you the kind and the big are also rough. When a round individual is nice to others, they are also feeling blue.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Fred is not young.
False
1
inv-proof
[(triple3)]
("Fred" "is" "young" "-")
triple3
Fred is blue.
True
3
proof
[(((triple4 triple5) -> rule7))]
("Fred" "is" "blue" "+")
((triple4 triple5) -> (rule7 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple7 triple6) -> rule6))]
("Fred" "is" "rough" "-")
((triple7 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
True
5
proof
[(((triple5 ((triple7 triple6) -> rule6)) -> rule3) OR ((triple4 triple6 ((triple4 triple5) -> rule7)) -> rule5) OR ((((triple4 triple5) -> rule7) ((triple7 triple6) -> rule6)) -> rule1))]
("Fred" "is" "red" "+")
((triple5 ((triple7 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple4 triple6 ((triple4 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
((((triple4 triple5) -> (rule7 % int3)) ((triple7 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not red.
False
5
inv-proof
[(((triple5 ((triple7 triple6) -> rule6)) -> rule3) OR ((triple4 triple6 ((triple4 triple5) -> rule7)) -> rule5) OR ((((triple4 triple5) -> rule7) ((triple7 triple6) -> rule6)) -> rule1))]
("Fred" "is" "red" "-")
((triple5 ((triple7 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple4 triple6 ((triple4 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
((((triple4 triple5) -> (rule7 % int3)) ((triple7 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is cold.
True
10
proof
[(((triple6 ((triple5 ((triple7 triple6) -> rule6)) -> rule3) ((triple4 triple5) -> rule7)) -> rule4) OR ((triple6 ((triple4 triple6 ((triple4 triple5) -> rule7)) -> rule5) ((triple4 triple5) -> rule7)) -> rule4) OR ((triple6 ((((triple4 triple5) -> rule7) ((triple7 triple6) -> rule6)) -> rule1) ((triple4 triple5) -> rule7)) -> rule4))]
("Fred" "is" "cold" "+")
((triple6 ((triple5 ((triple7 triple6) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple5) -> (rule7 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((triple6 ((triple4 triple6 ((triple4 triple5) -> (rule7 % int3))) -> (rule5 % int2)) ((triple4 triple5) -> (rule7 % int3))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
((triple6 ((((triple4 triple5) -> (rule7 % int4)) ((triple7 triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple4 triple5) -> (rule7 % int4))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not cold.
False
10
inv-proof
[(((triple6 ((triple5 ((triple7 triple6) -> rule6)) -> rule3) ((triple4 triple5) -> rule7)) -> rule4) OR ((triple6 ((triple4 triple6 ((triple4 triple5) -> rule7)) -> rule5) ((triple4 triple5) -> rule7)) -> rule4) OR ((triple6 ((((triple4 triple5) -> rule7) ((triple7 triple6) -> rule6)) -> rule1) ((triple4 triple5) -> rule7)) -> rule4))]
("Fred" "is" "cold" "-")
((triple6 ((triple5 ((triple7 triple6) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple5) -> (rule7 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((triple6 ((triple4 triple6 ((triple4 triple5) -> (rule7 % int3))) -> (rule5 % int2)) ((triple4 triple5) -> (rule7 % int3))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
((triple6 ((((triple4 triple5) -> (rule7 % int4)) ((triple7 triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple4 triple5) -> (rule7 % int4))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "rough" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is blue.[(triple2)] Charlie is young.[(triple1)] Fred is big.[(triple7)] Fred is kind.[(triple6)] Fred is nice.[(triple5)] Fred is round.[(triple4)] Fred is young.[(triple3)] Gary is cold.[(triple9)] Gary is rough.[(triple8)] @1: Fred is blue.[(((triple4 triple5) -> rule7))] Fred is rough.[(((triple7 triple6) -> rule6))] @2: Fred is red.[(((triple5 ((triple7 triple6) -> rule6)) -> rule3) OR ((triple4 triple6 ((triple4 triple5) -> rule7)) -> rule5) OR ((((triple4 triple5) -> rule7) ((triple7 triple6) -> rule6)) -> rule1))] @3: Fred is cold.[(((triple6 ((triple5 ((triple7 triple6) -> rule6)) -> rule3) ((triple4 triple5) -> rule7)) -> rule4) OR ((triple6 ((triple4 triple6 ((triple4 triple5) -> rule7)) -> rule5) ((triple4 triple5) -> rule7)) -> rule4) OR ((triple6 ((((triple4 triple5) -> rule7) ((triple7 triple6) -> rule6)) -> rule1) ((triple4 triple5) -> rule7)) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
((triple4 triple5) -> (rule7 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple7 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple5 ((triple7 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple4 triple6 ((triple4 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
((((triple4 triple5) -> (rule7 % int3)) ((triple7 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
((triple6 ((triple5 ((triple7 triple6) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple5) -> (rule7 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((triple6 ((triple4 triple6 ((triple4 triple5) -> (rule7 % int3))) -> (rule5 % int2)) ((triple4 triple5) -> (rule7 % int3))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
((triple6 ((((triple4 triple5) -> (rule7 % int4)) ((triple7 triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple4 triple5) -> (rule7 % int4))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
From a certain angle Charlie is blue but he is young so maybe that will go away.
Big, round Fred is also known to be nice, kind and young.
To the touch Gary has rough, cold skin.
If someone is blue and rough, they always see red in others.
People that are big and cold are blue as well.
When someone is nice and rough they are usually red.
If a kind, red person is also feeling blue then he will be cold to outsiders.
When somebody is round, kind and blue, you know they'll also be red.
Anyone will tell you the kind and the big are also rough.
When a round individual is nice to others, they are also feeling blue.