Dave is green. Dave is red. Dave is round. Erin is cold. Erin is furry. Fiona is blue. Fiona is furry. Fiona is round. Gary is blue. Gary is cold. If someone is young and furry then they are green. If someone is red then they are young.
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is young and furry then they are green.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is red then they are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Erin is furry.
True
1
proof
[(triple5)]
("Erin" "is" "furry" "+")
triple5
Gary is not cold.
False
1
inv-proof
[(triple10)]
("Gary" "is" "cold" "-")
triple10
Dave is young.
True
2
proof
[(((triple2) -> rule2))]
("Dave" "is" "young" "+")
((triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("Dave" "is" "young" "-")
((triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is green.
Unknown
rconc
[@2: Erin is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "green" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Dave is green.[(triple1)] Dave is red.[(triple2)] Dave is round.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is round.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] @1: Dave is young.[(((triple2) -> rule2))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
((triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1