Erin is rough. Erin is white. Fiona is kind. Fiona is red. Fiona is white. Gary is kind. Gary is quiet. Gary is red. Gary is white. Harry is furry. Harry is quiet. Harry is not young. All rough people are not quiet. Quiet, rough people are not furry. If someone is white and not quiet then they are not red. All quiet people are red. If someone is young and white then they are red. If Erin is young and Erin is not red then Erin is kind.
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not young.
("Harry" "is" "young" "-")
All rough people are not quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "-"))
Quiet, rough people are not furry.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "-"))
If someone is white and not quiet then they are not red.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "red" "-"))
All quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If someone is young and white then they are red.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If Erin is young and Erin is not red then Erin is kind.
((("Erin" "is" "young" "+") ("Erin" "is" "red" "~")) -> ("Erin" "is" "kind" "+"))
Fiona is white.
True
1
proof
[(triple5)]
("Fiona" "is" "white" "+")
triple5
Gary is not red.
False
1
inv-proof
[(triple8 OR ((triple7) -> rule4))]
("Gary" "is" "red" "-")
triple8
((triple7) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is not quiet.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is quiet.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is not red.
True
4
proof
[(((triple2 ((triple1) -> rule1)) -> rule3))]
("Erin" "is" "red" "-")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
int2
Erin is red.
False
4
inv-proof
[(((triple2 ((triple1) -> rule1)) -> rule3))]
("Erin" "is" "red" "+")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
int2
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Erin is rough.[(triple1)] Erin is white.[(triple2)] Fiona is kind.[(triple3)] Fiona is red.[(triple4)] Fiona is white.[(triple5)] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8 OR ((triple7) -> rule4))] Gary is white.[(triple9)] Harry is furry.[(triple10)] Harry is not young.[(triple12)] Harry is quiet.[(triple11)] @1: Erin is not quiet.[(((triple1) -> rule1))] Harry is red.[(((triple11) -> rule4))] @2: Erin is not red.[(((triple2 ((triple1) -> rule1)) -> rule3))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
((triple7) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is not young.
("Harry" "is" "young" "-")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Erin is not quiet.
("Erin" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple11) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Erin is not red.
("Erin" "is" "red" "-")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
int2