Big Charlie is nice but also rough. Fred is big and round. Because of how young and green he is, Fred is still kind. A round shaped and rough person will be blue as well. Rough and kind people are big. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Nice people are cold people. Kind people who are nice find that they must also be rough.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Fred is big.
True
1
proof
[(triple8)]
("Fred" "is" "big" "+")
triple8
Charlie is not big.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "big" "-")
triple3
Fred is nice.
True
3
proof
[(((triple7 triple8) -> rule3))]
("Fred" "is" "nice" "+")
((triple7 triple8) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple2) -> rule4))]
("Charlie" "is" "cold" "-")
((triple2) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fred is cold.
True
4
proof
[(((((triple7 triple8) -> rule3)) -> rule4))]
("Fred" "is" "cold" "+")
((((triple7 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not rough.
False
5
inv-proof
[(((triple6 ((triple7 triple8) -> rule3)) -> rule5))]
("Fred" "is" "rough" "-")
((triple6 ((triple7 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is blue.
True
7
proof
[(((((triple6 ((triple7 triple8) -> rule3)) -> rule5) triple5) -> rule1))]
("Fred" "is" "blue" "+")
((((triple6 ((triple7 triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not blue.
False
7
inv-proof
[(((((triple6 ((triple7 triple8) -> rule3)) -> rule5) triple5) -> rule1))]
("Fred" "is" "blue" "-")
((((triple6 ((triple7 triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "rough" "+")
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Charlie is big.[(triple3)] Charlie is nice.[(triple2)] Charlie is rough.[(triple1)] Fred is big.[(triple8)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is round.[(triple5)] Fred is young.[(triple4)] @1: Charlie is cold.[(((triple2) -> rule4))] Fred is nice.[(((triple7 triple8) -> rule3))] @2: Fred is cold.[(((((triple7 triple8) -> rule3)) -> rule4))] Fred is rough.[(((triple6 ((triple7 triple8) -> rule3)) -> rule5))] @3: Fred is blue.[(((((triple6 ((triple7 triple8) -> rule3)) -> rule5) triple5) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple7 triple8) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((((triple7 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple6 ((triple7 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((((triple6 ((triple7 triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Big Charlie is nice but also rough.
Fred is big and round; Because of how young and green he is, Fred is still kind.
A round shaped and rough person will be blue as well.
Rough and kind people are big.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
Nice people are cold people.
Kind people who are nice find that they must also be rough.