Dave is blue. Dave is cold. Dave is red. Dave is white. Dave is young. Erin is blue. Erin is round. Erin is white. Fiona is blue. Fiona is red. Gary is cold. Gary is green. Gary is round. Gary is white. Gary is young. All blue, round people are green.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All blue, round people are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Gary is round.
True
1
proof
[(triple13)]
("Gary" "is" "round" "+")
triple13
Erin is not white.
False
1
inv-proof
[(triple8)]
("Erin" "is" "white" "-")
triple8
Erin is green.
True
3
proof
[(((triple6 triple7) -> rule1))]
("Erin" "is" "green" "+")
((triple6 triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("Erin" "is" "green" "-")
((triple6 triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Erin is blue.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Fiona is blue.[(triple9)] Fiona is red.[(triple10)] Gary is cold.[(triple11)] Gary is green.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Erin is green.[(((triple6 triple7) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Erin is green.
("Erin" "is" "green" "+")
((triple6 triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1