Anne is not blue. Anne is cold. Anne is not green. Anne is round. Charlie is blue. Charlie is not cold. Charlie is kind. Charlie is rough. Charlie is round. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is not round. Fiona is smart. If something is round then it is kind. If something is kind then it is smart.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is round.
("Anne" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is round then it is kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it is smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
Fiona is green.
True
1
proof
[(triple12)]
("Fiona" "is" "green" "+")
triple12
Charlie is not rough.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "rough" "-")
triple8
Charlie is smart.
True
2
proof
[(((triple7) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
("Charlie" "is" "smart" "+")
((triple7) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Anne is not kind.
False
2
inv-proof
[(((triple4) -> rule1))]
("Anne" "is" "kind" "-")
((triple4) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("Anne" "is" "smart" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is not smart.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("Anne" "is" "smart" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is cold.[(triple2)] Anne is not blue.[(triple1)] Anne is not green.[(triple3)] Anne is round.[(triple4)] Charlie is blue.[(triple5)] Charlie is kind.[(triple7 OR ((triple9) -> rule1))] Charlie is not cold.[(triple6)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is not round.[(triple14)] Fiona is smart.[(triple15 OR ((triple13) -> rule2))] @1: Anne is kind.[(((triple4) -> rule1))] Charlie is smart.[(((triple7) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] @2: Anne is smart.[(((((triple4) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
((triple9) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is not round.
("Fiona" "is" "round" "-")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
((triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple4) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple7) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2