Charlie is young. Dave is young. Fiona is blue. Harry is blue. If someone is blue then they are smart. All white people are nice. If someone is nice then they are smart. If someone is blue then they are white. If someone is young then they are white. If Harry is blue then Harry is nice.
Charlie is young.
("Charlie" "is" "young" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue then they are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
All white people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If someone is young then they are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If Harry is blue then Harry is nice.
((("Harry" "is" "blue" "+")) -> ("Harry" "is" "nice" "+"))
Dave is young.
True
1
proof
[(triple2)]
("Dave" "is" "young" "+")
triple2
Harry is not blue.
False
1
inv-proof
[(triple4)]
("Harry" "is" "blue" "-")
triple4
Dave is white.
True
2
proof
[(((triple2) -> rule5))]
("Dave" "is" "white" "+")
((triple2) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple4) -> rule6) OR ((((triple4) -> rule4)) -> rule2))]
("Harry" "is" "nice" "-")
((triple4) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Charlie is nice.
True
3
proof
[(((((triple1) -> rule5)) -> rule2))]
("Charlie" "is" "nice" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Dave is not nice.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule2))]
("Dave" "is" "nice" "-")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Charlie is young.[(triple1)] Dave is young.[(triple2)] Fiona is blue.[(triple3)] Harry is blue.[(triple4)] @1: Charlie is white.[(((triple1) -> rule5))] Dave is white.[(((triple2) -> rule5))] Fiona is smart.[(((triple3) -> rule1) OR ((((((triple3) -> rule4)) -> rule2)) -> rule3))] Fiona is white.[(((triple3) -> rule4))] Harry is nice.[(((triple4) -> rule6) OR ((((triple4) -> rule4)) -> rule2))] Harry is smart.[(((triple4) -> rule1) OR ((((triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule4)) -> rule2)) -> rule3))] Harry is white.[(((triple4) -> rule4))] @2: Charlie is nice.[(((((triple1) -> rule5)) -> rule2))] Dave is nice.[(((((triple2) -> rule5)) -> rule2))] Fiona is nice.[(((((triple3) -> rule4)) -> rule2))] @3: Charlie is smart.[(((((((triple1) -> rule5)) -> rule2)) -> rule3))] Dave is smart.[(((((((triple2) -> rule5)) -> rule2)) -> rule3))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
((triple1) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple2) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple4) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((triple4) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
((((((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3