Bob is young. Charlie is green. Charlie is young. Erin is green. Erin is kind. Erin is round. Erin is smart. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is smart. All smart, round things are young.
Bob is young.
("Bob" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All smart, round things are young.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Charlie is not young.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "young" "-")
triple3
Erin is young.
True
3
proof
[(((triple7 triple6) -> rule1))]
("Erin" "is" "young" "+")
((triple7 triple6) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("Erin" "is" "young" "-")
((triple7 triple6) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is young.[(triple1)] Charlie is green.[(triple2)] Charlie is young.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Erin is young.[(((triple7 triple6) -> rule1))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
((triple7 triple6) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1