Bob is kind. Dave is green. Dave is nice. Dave is white. Erin is blue. Erin is kind. Erin is nice. Erin is smart. Fiona is blue. Fiona is kind. Fiona is smart. Fiona is white. Green people are young. All green people are blue.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
All green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Erin is smart.
True
1
proof
[(triple8)]
("Erin" "is" "smart" "+")
triple8
Erin is not blue.
False
1
inv-proof
[(triple5)]
("Erin" "is" "blue" "-")
triple5
Dave is blue.
True
2
proof
[(((triple2) -> rule2))]
("Dave" "is" "blue" "+")
((triple2) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("Dave" "is" "young" "-")
((triple2) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "young" "+")
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 kind.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is white.[(triple4)] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is smart.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] @1: Dave is blue.[(((triple2) -> rule2))] Dave is young.[(((triple2) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Dave is blue.
("Dave" "is" "blue" "+")
((triple2) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple2) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1