Bob is green. Charlie is nice. Dave is furry. Erin is cold. All green things are young. If Erin is nice then Erin is young. If Bob is furry then Bob is young. If something is cold then it is red. If something is red then it is furry. All nice, furry things are green.
Bob is green.
("Bob" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is cold.
("Erin" "is" "cold" "+")
All green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If Erin is nice then Erin is young.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "young" "+"))
If Bob is furry then Bob is young.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "young" "+"))
If something is cold then it is red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is red then it is furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
All nice, furry things are green.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
Erin is cold.
True
1
proof
[(triple4)]
("Erin" "is" "cold" "+")
triple4
Dave is not furry.
False
1
inv-proof
[(triple3)]
("Dave" "is" "furry" "-")
triple3
Erin is red.
True
2
proof
[(((triple4) -> rule4))]
("Erin" "is" "red" "+")
((triple4) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple4) -> rule4))]
("Erin" "is" "red" "-")
((triple4) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "red" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "red" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is green.[(triple1)] Charlie is nice.[(triple2)] Dave is furry.[(triple3)] Erin is cold.[(triple4)] @1: Bob is young.[(((triple1) -> rule1))] Erin is red.[(((triple4) -> rule4))] @2: Erin is furry.[(((((triple4) -> rule4)) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple4) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2