Charlie is not blue. Charlie is not kind. Charlie is rough. Charlie is young. Erin is not cold. Erin is red. Fiona is rough. Fiona is young. Harry is not cold. Harry is quiet. Harry is red. Harry is rough. If someone is young then they are quiet. If Charlie is young then Charlie is cold. Red people are young. Rough, kind people are not red. If Fiona is cold then Fiona is not young. If someone is quiet then they are not blue. If Charlie is cold then Charlie is red. If Harry is not blue then Harry is not cold.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is red.
("Erin" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is young then they are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
If Charlie is young then Charlie is cold.
((("Charlie" "is" "young" "+")) -> ("Charlie" "is" "cold" "+"))
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Rough, kind people are not red.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "-"))
If Fiona is cold then Fiona is not young.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "young" "-"))
If someone is quiet then they are not blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "-"))
If Charlie is cold then Charlie is red.
((("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "red" "+"))
If Harry is not blue then Harry is not cold.
((("Harry" "is" "blue" "~")) -> ("Harry" "is" "cold" "-"))
Fiona is rough.
True
1
proof
[(triple7)]
("Fiona" "is" "rough" "+")
triple7
Charlie is not rough.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "rough" "-")
triple3
Fiona is quiet.
True
2
proof
[(((triple8) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple8) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is blue.
False
2
inv-proof
[(((triple10) -> rule6) OR ((((((triple11) -> rule3)) -> rule1)) -> rule6))]
("Harry" "is" "blue" "+")
((triple10) -> (rule6 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
((((((triple11) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Charlie is red.
True
3
proof
[(((((triple4) -> rule2)) -> rule7))]
("Charlie" "is" "red" "+")
((((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not red.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule7))]
("Charlie" "is" "red" "-")
((((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Erin is not blue.
True
4
proof
[(((((((triple6) -> rule3)) -> rule1)) -> rule6))]
("Erin" "is" "blue" "-")
((((((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
False
4
inv-proof
[(((((((triple6) -> rule3)) -> rule1)) -> rule6))]
("Erin" "is" "blue" "+")
((((((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is not blue.[(triple1 OR ((((triple4) -> rule1)) -> rule6))] Charlie is not kind.[(triple2)] Charlie is rough.[(triple3)] Charlie is young.[(triple4)] Erin is not cold.[(triple5)] Erin is red.[(triple6)] Fiona is rough.[(triple7)] Fiona is young.[(triple8)] Harry is not cold.[(triple9 OR ((((triple10) -> rule6)) -> rule8) OR ((((((((triple11) -> rule3)) -> rule1)) -> rule6)) -> rule8))] Harry is quiet.[(triple10 OR ((((triple11) -> rule3)) -> rule1))] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Charlie is cold.[(((triple4) -> rule2))] Charlie is quiet.[(((triple4) -> rule1))] Erin is young.[(((triple6) -> rule3))] Fiona is quiet.[(((triple8) -> rule1))] Harry is not blue.[(((triple10) -> rule6) OR ((((((triple11) -> rule3)) -> rule1)) -> rule6))] Harry is young.[(((triple11) -> rule3))] @2: Charlie is red.[(((((triple4) -> rule2)) -> rule7))] Erin is quiet.[(((((triple6) -> rule3)) -> rule1))] Fiona is not blue.[(((((triple8) -> rule1)) -> rule6))] @3: Erin is not blue.[(((((((triple6) -> rule3)) -> rule1)) -> rule6))]
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
((((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is not cold.
("Erin" "is" "cold" "-")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Harry is not cold.
("Harry" "is" "cold" "-")
triple9
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
int2
((((((((triple11) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
((((triple11) -> (rule3 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple6) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple8) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
((triple10) -> (rule6 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
((((((triple11) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((triple11) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is not blue.
("Fiona" "is" "blue" "-")
((((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Erin is not blue.
("Erin" "is" "blue" "-")
((((((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3