Bob is cold. Bob is kind. Bob is rough. Bob is round. Bob is young. Dave is kind. Dave is young. Harry is nice. Harry is rough. Harry is young. All round things are kind. All young things are round.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
All round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
All young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Dave is kind.
True
1
proof
[(triple6 OR ((((triple7) -> rule2)) -> rule1))]
("Dave" "is" "kind" "+")
triple6
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Harry is not nice.
False
1
inv-proof
[(triple8)]
("Harry" "is" "nice" "-")
triple8
Dave is round.
True
2
proof
[(((triple7) -> rule2))]
("Dave" "is" "round" "+")
((triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple7) -> rule2))]
("Dave" "is" "round" "-")
((triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Harry is kind.
True
3
proof
[(((((triple10) -> rule2)) -> rule1))]
("Harry" "is" "kind" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not kind.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule1))]
("Harry" "is" "kind" "-")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2 OR ((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple5) -> rule2))] Bob is young.[(triple5)] Dave is kind.[(triple6 OR ((((triple7) -> rule2)) -> rule1))] Dave is young.[(triple7)] Harry is nice.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Dave is round.[(((triple7) -> rule2))] Harry is round.[(((triple10) -> rule2))] @2: Harry is kind.[(((((triple10) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
((triple4) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
((triple5) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
((triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2