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