Anne is green. Anne is kind. Anne is smart. Bob is cold. Bob is smart. Harry is cold. Harry is kind. Harry is nice. Harry is smart. Harry is young. White people are green. Young people are green.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
White people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Harry is young.
True
1
proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Harry is not smart.
False
1
inv-proof
[(triple9)]
("Harry" "is" "smart" "-")
triple9
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Bob is cold.[(triple4)] Bob is smart.[(triple5)] Harry is cold.[(triple6)] Harry is kind.[(triple7)] Harry is nice.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Harry is green.[(((triple10) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
((triple10) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1