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