Charlie is blue. Charlie is green. Charlie is kind. Charlie is smart. Fiona is blue. Fiona is smart. Harry is blue. Harry is cold. Harry is not rough. Harry is smart. All smart people are cold. If someone is kind and green then they are cold. All blue people are cold. All red people are not blue. If someone is kind and not rough then they are not smart. All rough people are smart. All rough, smart people are green. If someone is rough then they are not kind.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is smart.
("Harry" "is" "smart" "+")
All smart people are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
All red people are not blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "-"))
If someone is kind and not rough then they are not smart.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "smart" "-"))
All rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
All rough, smart people are green.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are not kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "-"))
Harry is not rough.
True
1
proof
[(triple9)]
("Harry" "is" "rough" "-")
triple9
Fiona is not smart.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "smart" "-")
triple6
Fiona is cold.
True
2
proof
[(((triple5) -> rule3) OR ((triple6) -> rule1))]
("Fiona" "is" "cold" "+")
((triple5) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple6) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple1) -> rule3) OR ((triple4) -> rule1) OR ((triple3 triple2) -> rule2))]
("Charlie" "is" "cold" "-")
((triple1) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple4) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple3 triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "green" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "green" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is smart.[(triple4)] Fiona is blue.[(triple5)] Fiona is smart.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8 OR ((triple10) -> rule1) OR ((triple7) -> rule3))] Harry is not rough.[(triple9)] Harry is smart.[(triple10)] @1: Charlie is cold.[(((triple1) -> rule3) OR ((triple4) -> rule1) OR ((triple3 triple2) -> rule2))] Fiona is cold.[(((triple5) -> rule3) OR ((triple6) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
((triple10) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not rough.
("Harry" "is" "rough" "-")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple4) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple3 triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple5) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple6) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1