The dog is young. Young people are nice. Young, nice people are red. Nice, round people are young. If the dog is young then the dog is blue. If someone is young and blue then they are nice. All young, red people are round. All round, blue people are nice. If the dog is nice then the dog is red.
The dog is young.
("dog" "is" "young" "+")
Young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Young, nice people are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Nice, round people are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If the dog is young then the dog is blue.
((("dog" "is" "young" "+")) -> ("dog" "is" "blue" "+"))
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All young, red people are round.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All round, blue people are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If the dog is nice then the dog is red.
((("dog" "is" "nice" "+")) -> ("dog" "is" "red" "+"))
The dog is young.
True
1
proof
[(triple1)]
("dog" "is" "young" "+")
triple1
The dog is not young.
False
1
inv-proof
[(triple1)]
("dog" "is" "young" "-")
triple1
The dog is blue.
True
2
proof
[(((triple1) -> rule4))]
("dog" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is not nice.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple1 ((triple1) -> rule4)) -> rule5))]
("dog" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog is young.[(triple1)] @1: The dog is blue.[(((triple1) -> rule4))] The dog is nice.[(((triple1) -> rule1) OR ((triple1 ((triple1) -> rule4)) -> rule5))] @2: The dog is red.[(((((triple1) -> rule1)) -> rule8) OR ((triple1 ((triple1) -> rule1)) -> rule2) OR ((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule8) OR ((triple1 ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2))] @3: The dog is round.[(((triple1 ((((triple1) -> rule1)) -> rule8)) -> rule6) OR ((triple1 ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6) OR ((triple1 ((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule8)) -> rule6) OR ((triple1 ((triple1 ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2)) -> rule6))]
The dog is young.
("dog" "is" "young" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is red.
("dog" "is" "red" "+")
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog is blue.
("dog" "is" "blue" "+")
int3
((triple1 ((triple1 ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog is blue.
("dog" "is" "blue" "+")
int3
The dog is round.
("dog" "is" "round" "+")
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
((triple1 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
((triple1 ((((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The dog is blue.
("dog" "is" "blue" "+")
int4
((triple1 ((triple1 ((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The dog is blue.
("dog" "is" "blue" "+")
int4