Charlie is cold. Charlie is round. Charlie is white. Dave is big. Dave is furry. Fiona is cold. Fiona is furry. All cold, furry people are white. All green, furry people are big. If Charlie is round then Charlie is white. All furry, young people are cold. Furry, young people are green. All white people are young. Furry people are big. Green people are cold.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
All cold, furry people are white.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All green, furry people are big.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If Charlie is round then Charlie is white.
((("Charlie" "is" "round" "+")) -> ("Charlie" "is" "white" "+"))
All furry, young people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Furry, young people are green.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Dave is big.
True
1
proof
[(triple4 OR ((triple5) -> rule7))]
("Dave" "is" "big" "+")
triple4
((triple5) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fiona is not furry.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "furry" "-")
triple7
Fiona is white.
True
3
proof
[(((triple6 triple7) -> rule1))]
("Fiona" "is" "white" "+")
((triple6 triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple3) -> rule6) OR ((((triple2) -> rule3)) -> rule6))]
("Charlie" "is" "young" "-")
((triple3) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Dave is not white.
Unknown
inv-rconc
[@4: Dave is white.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule5 <- rule6 <- FAIL)]]
("Dave" "is" "white" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2)] Charlie is white.[(triple3 OR ((triple2) -> rule3))] Dave is big.[(triple4 OR ((triple5) -> rule7))] Dave is furry.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] @1: Charlie is young.[(((triple3) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] Fiona is big.[(((triple7) -> rule7) OR ((((triple7 ((((triple6 triple7) -> rule1)) -> rule6)) -> rule5) triple7) -> rule2))] Fiona is white.[(((triple6 triple7) -> rule1))] @2: Fiona is young.[(((((triple6 triple7) -> rule1)) -> rule6))] @3: Fiona is green.[(((triple7 ((((triple6 triple7) -> rule1)) -> rule6)) -> rule5))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
((triple2) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
triple4
((triple5) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
((triple3) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((triple7) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple7 ((((triple6 triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
((triple6 triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple6 triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((triple7 ((((triple6 triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3