Anne is blue. Anne is furry. Anne is green. Anne is quiet. Bob is quiet. Bob is red. Charlie is green. Charlie is kind. Charlie is quiet. Fiona is blue. Fiona is kind. Fiona is quiet. If Charlie is kind and Charlie is green then Charlie is quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If Charlie is kind and Charlie is green then Charlie is quiet.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "quiet" "+"))
Charlie is green.
True
1
proof
[(triple7)]
("Charlie" "is" "green" "+")
triple7
Charlie is not kind.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "kind" "-")
triple8
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Charlie is green.[(triple7)] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9 OR ((triple8 triple7) -> rule1))] Fiona is blue.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple9
((triple8 triple7) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12