Charlie is cold. Charlie is furry. Charlie is red. Charlie is smart. Charlie is young. Dave is young. Erin is cold. Erin is smart. Erin is young. Fiona is furry. If something is furry and young then it is green. All green, furry things are smart.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
If something is furry and young then it is green.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
All green, furry things are smart.
((("something" "is" "green" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Erin is smart.
True
1
proof
[(triple8)]
("Erin" "is" "smart" "+")
triple8
Fiona is not furry.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "furry" "-")
triple10
Charlie is green.
True
3
proof
[(((triple2 triple5) -> rule1))]
("Charlie" "is" "green" "+")
((triple2 triple5) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple2 triple5) -> rule1))]
("Charlie" "is" "green" "-")
((triple2 triple5) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fiona is not smart.
Unknown
inv-rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Fiona" "is" "smart" "-")
Erin is green.
Unknown
rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4 OR ((((triple2 triple5) -> rule1) triple2) -> rule2))] Charlie is young.[(triple5)] Dave is young.[(triple6)] Erin is cold.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Fiona is furry.[(triple10)] @1: Charlie is green.[(((triple2 triple5) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
((((triple2 triple5) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
((triple2 triple5) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1