Anne is cold. Anne is green. Anne is nice. Anne is smart. Anne is white. Anne is not young. Bob is cold. Bob is not nice. Bob is smart. Bob is not white. Bob is young. Fiona is green. Fiona is nice. Fiona is smart. Fiona is young. If someone is green and smart then they are red. If Bob is not young then Bob is red. If Bob is not young then Bob is not red. If Anne is not cold then Anne is not nice. If Bob is cold and Bob is not young then Bob is green. Young people are green. If someone is red and not smart then they are not green. If Anne is young then Anne is green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not white.
("Bob" "is" "white" "-")
Bob is young.
("Bob" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is green and smart then they are red.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
If Bob is not young then Bob is red.
((("Bob" "is" "young" "~")) -> ("Bob" "is" "red" "+"))
If Bob is not young then Bob is not red.
((("Bob" "is" "young" "~")) -> ("Bob" "is" "red" "-"))
If Anne is not cold then Anne is not nice.
((("Anne" "is" "cold" "~")) -> ("Anne" "is" "nice" "-"))
If Bob is cold and Bob is not young then Bob is green.
((("Bob" "is" "cold" "+") ("Bob" "is" "young" "~")) -> ("Bob" "is" "green" "+"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is red and not smart then they are not green.
((("someone" "is" "red" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "green" "-"))
If Anne is young then Anne is green.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "green" "+"))
Anne is not young.
True
1
proof
[(triple6)]
("Anne" "is" "young" "-")
triple6
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Bob is green.
True
2
proof
[(((triple11) -> rule6))]
("Bob" "is" "green" "+")
((triple11) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Anne is not red.
False
3
inv-proof
[(((triple2 triple4) -> rule1))]
("Anne" "is" "red" "-")
((triple2 triple4) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Bob is red.
True
4
proof
[(((((triple11) -> rule6) triple9) -> rule1))]
("Bob" "is" "red" "+")
((((triple11) -> (rule6 % int2)) triple9) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not red.
False
4
inv-proof
[(((((triple11) -> rule6) triple9) -> rule1))]
("Bob" "is" "red" "-")
((((triple11) -> (rule6 % int2)) triple9) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not young.[(triple6)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Bob is cold.[(triple7)] Bob is not nice.[(triple8)] Bob is not white.[(triple10)] Bob is smart.[(triple9)] Bob is young.[(triple11)] Fiona is green.[(triple12 OR ((triple15) -> rule6))] Fiona is nice.[(triple13)] Fiona is smart.[(triple14)] Fiona is young.[(triple15)] @1: Anne is red.[(((triple2 triple4) -> rule1))] Bob is green.[(((triple11) -> rule6))] Fiona is red.[(((triple12 triple14) -> rule1) OR ((((triple15) -> rule6) triple14) -> rule1))] @2: Bob is red.[(((((triple11) -> rule6) triple9) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not young.
("Anne" "is" "young" "-")
triple6
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple7
Bob is not nice.
("Bob" "is" "nice" "-")
triple8
Bob is not white.
("Bob" "is" "white" "-")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
((triple15) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Anne is red.
("Anne" "is" "red" "+")
((triple2 triple4) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple11) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple12 triple14) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple15) -> (rule6 % int2)) triple14) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple11) -> (rule6 % int2)) triple9) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2