Dave is cold. Dave is nice. Dave is rough. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Harry is not nice. Harry is quiet. Quiet things are kind. Quiet things are kind. All cold things are kind. If Harry is cold and Harry is not young then Harry is kind. If Fiona is rough then Fiona is green. Rough, kind things are green.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
Quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
All cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If Harry is cold and Harry is not young then Harry is kind.
((("Harry" "is" "cold" "+") ("Harry" "is" "young" "~")) -> ("Harry" "is" "kind" "+"))
If Fiona is rough then Fiona is green.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "green" "+"))
Rough, kind things are green.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Dave is rough.
True
1
proof
[(triple3)]
("Dave" "is" "rough" "+")
triple3
Harry is nice.
False
1
inv-proof
[(triple9)]
("Harry" "is" "nice" "+")
triple9
Harry is kind.
True
2
proof
[(((triple10) -> rule1) OR ((triple10) -> rule2))]
("Harry" "is" "kind" "+")
((triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple8) -> rule5) OR ((triple8 triple5) -> rule6) OR ((triple8 ((triple4) -> rule3)) -> rule6) OR ((triple8 ((triple7) -> rule1)) -> rule6) OR ((triple8 ((triple7) -> rule2)) -> rule6))]
("Fiona" "is" "green" "-")
((triple8) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple8 triple5) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple8 ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple8 ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple8 ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Dave is green.
True
4
proof
[(((triple3 ((triple1) -> rule3)) -> rule6))]
("Dave" "is" "green" "+")
((triple3 ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not green.
False
4
inv-proof
[(((triple3 ((triple1) -> rule3)) -> rule6))]
("Dave" "is" "green" "-")
((triple3 ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2)] Dave is rough.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple5 OR ((triple4) -> rule3) OR ((triple7) -> rule1) OR ((triple7) -> rule2))] Fiona is nice.[(triple6)] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8)] Harry is not nice.[(triple9)] Harry is quiet.[(triple10)] @1: Dave is kind.[(((triple1) -> rule3))] Fiona is green.[(((triple8) -> rule5) OR ((triple8 triple5) -> rule6) OR ((triple8 ((triple4) -> rule3)) -> rule6) OR ((triple8 ((triple7) -> rule1)) -> rule6) OR ((triple8 ((triple7) -> rule2)) -> rule6))] Harry is kind.[(((triple10) -> rule1) OR ((triple10) -> rule2))] @2: Dave is green.[(((triple3 ((triple1) -> rule3)) -> rule6))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
((triple4) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Harry is not nice.
("Harry" "is" "nice" "-")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple8) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple8 triple5) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple8 ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple8 ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple8 ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple3 ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2