Bob is blue. Bob is kind. Bob is nice. Bob is smart. Erin is blue. Erin is nice. Erin is red. Erin is round. Erin is young. Harry is blue. Harry is kind. Harry is nice. Harry is red. Harry is round. Harry is smart. Harry is young. All round things are smart.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
All round things are smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Harry is blue.
True
1
proof
[(triple10)]
("Harry" "is" "blue" "+")
triple10
Harry is not smart.
False
1
inv-proof
[(triple15 OR ((triple14) -> rule1))]
("Harry" "is" "smart" "-")
triple15
((triple14) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Erin is smart.
True
2
proof
[(((triple8) -> rule1))]
("Erin" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple8) -> rule1))]
("Erin" "is" "smart" "-")
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is smart.[(triple4)] Erin is blue.[(triple5)] Erin is nice.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8)] Erin is young.[(triple9)] Harry is blue.[(triple10)] Harry is kind.[(triple11)] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple14) -> rule1))] Harry is young.[(triple16)] @1: Erin is smart.[(((triple8) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
((triple14) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple16
Erin is smart.
("Erin" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1