Charlie is not blue. Charlie is young. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is smart. Fiona is young. Gary is cold. Gary is furry. Gary is young. Harry is not blue. Harry is cold. Harry is furry. Harry is round. Harry is white. All cold, young things are round. If something is round then it is smart.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All cold, young things are round.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If something is round then it is smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Gary is cold.
True
1
proof
[(triple8)]
("Gary" "is" "cold" "+")
triple8
Gary is not young.
False
1
inv-proof
[(triple10)]
("Gary" "is" "young" "-")
triple10
Harry is smart.
True
2
proof
[(((triple14) -> rule2))]
("Harry" "is" "smart" "+")
((triple14) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple8 triple10) -> rule1))]
("Gary" "is" "round" "-")
((triple8 triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
True
4
proof
[(((((triple8 triple10) -> rule1)) -> rule2))]
("Gary" "is" "smart" "+")
((((triple8 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not smart.
False
4
inv-proof
[(((((triple8 triple10) -> rule1)) -> rule2))]
("Gary" "is" "smart" "-")
((((triple8 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Charlie is smart.
Unknown
rconc
[@2: Charlie is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "smart" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is not blue.[(triple1)] Charlie is young.[(triple2)] Fiona is blue.[(triple3)] Fiona is furry.[(triple5)] Fiona is not cold.[(triple4)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is young.[(triple10)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is not blue.[(triple11)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Gary is round.[(((triple8 triple10) -> rule1))] Harry is smart.[(((triple14) -> rule2))] @2: Gary is smart.[(((((triple8 triple10) -> rule1)) -> rule2))]
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is not blue.
("Harry" "is" "blue" "-")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
((triple8 triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple14) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((((triple8 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2