Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. Erin is red. Erin is smart. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. If something is red then it is quiet.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is red then it is quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Fiona is smart.
True
1
proof
[(triple10)]
("Fiona" "is" "smart" "+")
triple10
Charlie is not young.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "young" "-")
triple4
Erin is quiet.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple5) -> rule1))]
("Erin" "is" "quiet" "-")
((triple5) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Charlie is quiet.[(triple1 OR ((triple2) -> rule1))] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6)] Fiona is quiet.[(triple7 OR ((triple8) -> rule1))] Fiona is red.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] @1: Erin is quiet.[(((triple5) -> rule1))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
((triple2) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
((triple8) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1