Erin is big. Erin is blue. Erin is quiet. Erin is young. Fiona is big. Fiona is blue. Fiona is nice. Fiona is white. Fiona is young. Harry is blue. Harry is green. Harry is white. All quiet things are green. All blue things are quiet.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
All quiet things are green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
All blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Erin is young.
True
1
proof
[(triple4)]
("Erin" "is" "young" "+")
triple4
Fiona is not blue.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "blue" "-")
triple6
Fiona is quiet.
True
2
proof
[(((triple6) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple6) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not quiet.
False
2
inv-proof
[(((triple10) -> rule2))]
("Harry" "is" "quiet" "-")
((triple10) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Fiona is green.
True
3
proof
[(((((triple6) -> rule2)) -> rule1))]
("Fiona" "is" "green" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not green.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule1))]
("Fiona" "is" "green" "-")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is quiet.[(triple3 OR ((triple2) -> rule2))] Erin is young.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is nice.[(triple7)] Fiona is white.[(triple8)] Fiona is young.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11 OR ((((triple10) -> rule2)) -> rule1))] Harry is white.[(triple12)] @1: Erin is green.[(((triple3) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Fiona is quiet.[(((triple6) -> rule2))] Harry is quiet.[(((triple10) -> rule2))] @2: Fiona is green.[(((((triple6) -> rule2)) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
((triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
((triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple6) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple10) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2