Bob is kind. Bob is round. Bob is young. Fiona is kind. Fiona is young. Gary is blue. Gary is nice. Gary is rough. Harry is rough. Harry is young. Young, rough things are kind. If something is nice then it is young.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Young, rough things are kind.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Harry is rough.
True
1
proof
[(triple9)]
("Harry" "is" "rough" "+")
triple9
Harry is not young.
False
1
inv-proof
[(triple10)]
("Harry" "is" "young" "-")
triple10
Gary is young.
True
2
proof
[(((triple7) -> rule2))]
("Gary" "is" "young" "+")
((triple7) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Harry" "is" "kind" "-")
((triple10 triple9) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Fiona is kind.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is nice.[(triple7)] Gary is rough.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Gary is young.[(((triple7) -> rule2))] Harry is kind.[(((triple10 triple9) -> rule1))] @2: Gary is kind.[(((((triple7) -> rule2) triple8) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
((triple7) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((((triple7) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2