Dave is nice. Erin is red. Erin is rough. Fiona is red. Fiona is rough. Harry is red. Harry is rough. If something is red then it is young. If something is red and young then it is nice.
Dave is nice.
("Dave" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If something is red then it is young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If something is red and young then it is nice.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Erin is rough.
True
1
proof
[(triple3)]
("Erin" "is" "rough" "+")
triple3
Fiona is not rough.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "rough" "-")
triple5
Harry is young.
True
2
proof
[(((triple6) -> rule1))]
("Harry" "is" "young" "+")
((triple6) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "young" "-")
((triple2) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
True
4
proof
[(((triple2 ((triple2) -> rule1)) -> rule2))]
("Erin" "is" "nice" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is not nice.
False
4
inv-proof
[(((triple4 ((triple4) -> rule1)) -> rule2))]
("Fiona" "is" "nice" "-")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Dave is nice.[(triple1)] Erin is red.[(triple2)] Erin is rough.[(triple3)] Fiona is red.[(triple4)] Fiona is rough.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)] @1: Erin is young.[(((triple2) -> rule1))] Fiona is young.[(((triple4) -> rule1))] Harry is young.[(((triple6) -> rule1))] @2: Erin is nice.[(((triple2 ((triple2) -> rule1)) -> rule2))] Fiona is nice.[(((triple4 ((triple4) -> rule1)) -> rule2))] Harry is nice.[(((triple6 ((triple6) -> rule1)) -> rule2))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple4) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple6) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2